projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Tue, 13 Oct 2009 16:59:55 +0000 (16:59 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Tue, 13 Oct 2009 16:59:55 +0000 (16:59 +0000) | ||
| commit | 3950e9607ece9ab2f46e1e48f3b7366b775deefb | |
| tree | 9a5a47b4c1ac75b154ddc3f67b07f6d7775de760 | tree | snapshot |
| parent | d589a4d7b25687c14510efb641f7e5eacc41fd6d | commit | diff |
| helm/software/matita/nlibrary/topology/igft.ma | diff | blob | history | |
| helm/software/matita/nlibrary/topology/preamble.xml | diff | blob | history |