projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Mon, 22 Dec 2008 15:22:44 +0000 (15:22 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Mon, 22 Dec 2008 15:22:44 +0000 (15:22 +0000) | ||
| commit | b24dab33816abbeedb460ca4a19b838104ba2e29 | |
| tree | 5881114b37d5cb4ffeb6020ed26d5903a021d7dc | tree | snapshot |
| parent | 5fc511bf7be55ad8f545f5b08b0833f80ecca07b | commit | diff |
| helm/software/matita/contribs/formal_topology/overlap/o-algebra.ma | diff | blob | history | |
| helm/software/matita/contribs/formal_topology/overlap/o-concrete_spaces.ma | diff | blob | history |