projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Mon, 28 Jun 2010 20:15:28 +0000 (20:15 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Mon, 28 Jun 2010 20:15:28 +0000 (20:15 +0000) | ||
| commit | 3cf6181bded05eb63140d1b2ba4f2f5791a73b48 | |
| tree | 30d545b94c1aea4decb43bd088eff01994758ac7 | tree | snapshot |
| parent | c2123cdb49560cc6ef2a86b71ab21b432581c076 | commit | diff |
| helm/software/matita/contribs/formal_topology/overlap/o-algebra.ma | diff | blob | history |