projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Fri, 26 Dec 2008 17:19:51 +0000 (17:19 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Fri, 26 Dec 2008 17:19:51 +0000 (17:19 +0000) | ||
| commit | 3abe9d6c085bf25b384e68f5ec01ff0ebaf4c1c0 | |
| tree | becf9ce17d84cb82e26fbfab8bed741be12d94af | tree | snapshot |
| parent | e78d293aba5f22ae7f957741ac5e821bade5a2a7 | commit | diff |
| helm/software/matita/contribs/formal_topology/overlap/o-basic_topologies.ma | diff | blob | history |