]> matita.cs.unibo.it Git - helm.git/commit
...
authorEnrico Tassi <enrico.tassi@inria.fr>
Sat, 17 Oct 2009 09:53:04 +0000 (09:53 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Sat, 17 Oct 2009 09:53:04 +0000 (09:53 +0000)
commit06bf8cbce7fd66562954c002d4058fb18fa366cb
tree702bebb1c49626c183bf5c48c7865cb367c2c747
parentfded205dcf11e18d06429e645243395d79dd16af
...
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