]> matita.cs.unibo.it Git - helm.git/commit
minor fixes
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 9 Jul 2008 13:40:43 +0000 (13:40 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 9 Jul 2008 13:40:43 +0000 (13:40 +0000)
commit71b481a2c2c95d9f80ff49f828336098b3de3924
treed90d8bf1b30ae85683096e866d63d6faaf3dfe30
parent4d765cc85e3a1e84c80c348a1e67ea1eed984916
minor fixes
helm/software/matita/library/demo/formal_topology.ma