projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Mon, 24 Nov 2008 17:27:41 +0000 (17:27 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Mon, 24 Nov 2008 17:27:41 +0000 (17:27 +0000) | ||
| commit | a3d01f7170dd84f90481d53e271580e10e46ae75 | |
| tree | c453c644b0b9e8c0e0b69fcffe7ecba95a21eb49 | tree | snapshot |
| parent | 467648250620f63c4c6d1338167dc46ccbb92051 | commit | diff |
| helm/software/matita/contribs/igft/cantor.ma | [new file with mode: 0644] | blob |
| helm/software/matita/contribs/igft/depends | diff | blob | history | |
| helm/software/matita/contribs/igft/igft.ma | diff | blob | history |