projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Thu, 22 Jan 2009 18:53:09 +0000 (18:53 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Thu, 22 Jan 2009 18:53:09 +0000 (18:53 +0000) | ||
| commit | 702253b774d81fffdb36e97dfb6f76d4e7f34588 | |
| tree | 7b77d8aed3cc29b40c52a3fd9eabf1fcd424b4a4 | tree | snapshot |
| parent | 3e094922bf3fec6975fdbe6feceb509eaafe0563 | commit | diff |
| helm/software/matita/contribs/formal_topology/overlap/o-basic_pairs_to_o-basic_topologies.ma | diff | blob | history |