projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Thu, 1 Jul 2010 21:38:32 +0000 (21:38 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Thu, 1 Jul 2010 21:38:32 +0000 (21:38 +0000) | ||
| commit | 8423682054bead9ef906bdd8c15d6e0fbd5a2194 | |
| tree | 28f607587fa160154cb110941ca4330269cd5056 | tree | snapshot |
| parent | 7ce86e8bd53bef149ed427cf036c3ae0c6ef0486 | commit | diff |
| helm/software/matita/contribs/formal_topology/overlap/basic_pairs.ma | diff | blob | history |