]> matita.cs.unibo.it Git - helm.git/commit
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
tree69a40026ef83a767d3c6d9c322d50f473b1bc167
parentab72456f3d53035e6942f1cafa225d6759acf655
fixed pictures
helm/software/matita/nlibrary/topology/cantor.ma
helm/software/matita/nlibrary/topology/igft-CIC-universes.svg
helm/software/matita/nlibrary/topology/igft-minimality-CIC.svg
helm/software/matita/nlibrary/topology/igft.ma