projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Fri, 1 Jun 2007 19:32:06 +0000 (19:32 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Fri, 1 Jun 2007 19:32:06 +0000 (19:32 +0000) | ||
| commit | f5fa1028bbaa9092cd86133b923f83945fba6b10 | |
| tree | efc7ae1021a8c28811e118e75c4e3583019c8277 | tree | snapshot |
| parent | 9ebbff1619da00a2d42e04def79c59d129ee4a92 | commit | diff |
| matita/contribs/formal_topology/bin/theory_explorer.ml | diff | blob | history |