]> matita.cs.unibo.it Git - helm.git/commit - helm/software/matita/nlibrary/topology/cantor.ma
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ab72456) | patch
fixed pictures
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 21 Oct 2009 09:30:11 +0000 (09:30 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 21 Oct 2009 09:30:11 +0000 (09:30 +0000)
commit68bcb81d3d91255eacd5ae4c19c755d41e8440cf
tree69a40026ef83a767d3c6d9c322d50f473b1bc167tree | snapshot
parentab72456f3d53035e6942f1cafa225d6759acf655commit | diff
fixed pictures
helm/software/matita/nlibrary/topology/cantor.ma diff | blob | history
helm/software/matita/nlibrary/topology/igft-CIC-universes.svg diff | blob | history
helm/software/matita/nlibrary/topology/igft-minimality-CIC.svg diff | blob | history
helm/software/matita/nlibrary/topology/igft.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.