]>
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 |