projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Sun, 14 Dec 2008 10:56:38 +0000 (10:56 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Sun, 14 Dec 2008 10:56:38 +0000 (10:56 +0000) | ||
| commit | 39cb69c3b55fc48368d08eec58281585c3a6a8a9 | |
| tree | a2e5826a274971c57854eed0912e5a8b2cf13f01 | tree | snapshot |
| parent | 75620ca64e3038fcbebb51559fdc31b2e8a00f93 | commit | diff |
| helm/software/matita/contribs/formal_topology/o-algebra.ma | diff | blob | history |