projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Tue, 9 Sep 2008 15:34:07 +0000 (15:34 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Tue, 9 Sep 2008 15:34:07 +0000 (15:34 +0000) | ||
| commit | 52f4a3c6a3e47f1cb6a5912aeff3bcbdb76bc17f | |
| tree | 2dd5c7421b92b312aa6d3f117994ef277d9b56ce | tree | snapshot |
| parent | f24441c88f3ba0c7870646fc2cfd1cbdf6517178 | commit | diff |
| helm/software/matita/library/formal_topology/basic_pairs.ma | diff | blob | history | |
| helm/software/matita/library/formal_topology/concrete_spaces.ma | diff | blob | history |