projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Wed, 6 Jul 2005 13:09:34 +0000 (13:09 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Wed, 6 Jul 2005 13:09:34 +0000 (13:09 +0000) | ||
| commit | 7482cad729419e16abb0c68ea04ec13513996988 | |
| tree | 937e23d9e40a17277799f8025e2badc99aff873d | tree | snapshot |
| parent | c56a4b2bad2b1332bc2eda646c18ac547c4ce102 | commit | diff |
| helm/matita/tests/assumption.ma | [new file with mode: 0644] | blob |