projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Fri, 1 Jun 2007 22:08:43 +0000 (22:08 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Fri, 1 Jun 2007 22:08:43 +0000 (22:08 +0000) | ||
| commit | 51618b89bbe3cd86fc079d593c8a169dc304b189 | |
| tree | 85e863de9eb62e189a44fbe05dbab10f72469926 | tree | snapshot |
| parent | f5fa1028bbaa9092cd86133b923f83945fba6b10 | commit | diff |
| matita/contribs/formal_topology/bin/theory_explorer.ml | diff | blob | history |