projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Mon, 22 Dec 2008 14:25:53 +0000 (14:25 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Mon, 22 Dec 2008 14:25:53 +0000 (14:25 +0000) | ||
| commit | 5fc511bf7be55ad8f545f5b08b0833f80ecca07b | |
| tree | 47fcb6a029b20659ac06b34445e67fc3fdd12b5d | tree | snapshot |
| parent | 69b80b957c8b836309bed93cfd031761e0dc2b43 | 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 |