projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Thu, 18 Sep 2008 09:17:02 +0000 (09:17 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Thu, 18 Sep 2008 09:17:02 +0000 (09:17 +0000) | ||
| commit | 33f71ba86f8bbee8d5318b2cb3a96e890620aaba | |
| tree | e1d96188eaea7c4c6dc6fd5735c72d5f37fb2e4a | tree | snapshot |
| parent | 27bce1d83422883b6415862ec92e75baf4f87186 | commit | diff |
| helm/software/matita/core_notation.moo | diff | blob | history | |
| helm/software/matita/library/formal_topology/formal_topologies.ma | diff | blob | history |