]> matita.cs.unibo.it Git - helm.git/commit - helm/software/matita/nlibrary/topology/cantor.ma
some more work
authorEnrico Tassi <enrico.tassi@inria.fr>
Sat, 17 Oct 2009 07:03:03 +0000 (07:03 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Sat, 17 Oct 2009 07:03:03 +0000 (07:03 +0000)
commitfded205dcf11e18d06429e645243395d79dd16af
treeec4a2c47938fa8d8d8ae9453252b9a39f977bb70
parent5e771f1d151a2645c008ad0896ec0afbb87fdf7f
some more work
helm/software/matita/nlibrary/topology/cantor.ma
helm/software/matita/nlibrary/topology/igft-minimality-CIC.svg
helm/software/matita/nlibrary/topology/igft.ma
helm/software/matita/nlibrary/topology/preamble.xml