projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Wed, 9 Jul 2008 13:40:43 +0000 (13:40 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Wed, 9 Jul 2008 13:40:43 +0000 (13:40 +0000) | ||
| commit | 71b481a2c2c95d9f80ff49f828336098b3de3924 | |
| tree | d90d8bf1b30ae85683096e866d63d6faaf3dfe30 | tree | snapshot |
| parent | 4d765cc85e3a1e84c80c348a1e67ea1eed984916 | commit | diff |
| helm/software/matita/library/demo/formal_topology.ma | diff | blob | history |