projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Wed, 30 May 2007 18:05:53 +0000 (18:05 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Wed, 30 May 2007 18:05:53 +0000 (18:05 +0000) | ||
| commit | bfb5873fc44e930847d6ebc80ace7aff5ef84920 | |
| tree | df12f41797a1406eb891620aa76360a3bdc80afb | tree | snapshot |
| parent | 1ff31b4d82a571e61806c32e90705a3205409b53 | commit | diff |
| matita/contribs/formal_topology/bin/formal_topology.ma | diff | blob | history | |
| matita/contribs/formal_topology/bin/theory_explorer.ml | diff | blob | history |