projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Wed, 23 May 2007 17:48:21 +0000 (17:48 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Wed, 23 May 2007 17:48:21 +0000 (17:48 +0000) | ||
| commit | 5c8fe24f1390fc77cd0b78f61a24fcbbef66ff25 | |
| tree | 111160e201ab6fd2c7533b1342dc88efa61c1ce6 | tree | snapshot |
| parent | 6dd0d9d2d0d48a89477e1b57500c68c5c1938a0f | commit | diff |
| matita/contribs/formal_topology/bin/theory_explorer.ml | diff | blob | history |