projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Fri, 22 Dec 2006 16:32:46 +0000 (16:32 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Fri, 22 Dec 2006 16:32:46 +0000 (16:32 +0000) | ||
| commit | 83d06174ec00ea3d416d28db0d8bb5550aed627f | |
| tree | 6270ac63baa44e1381ab71fb7ddbe53ad1d207de | tree | snapshot |
| parent | 54e4a83ab2bcfd6d051036d8c37f475494575fab | commit | diff |
| matita/Makefile | diff | blob | history | |
| matita/contribs/CoRN-Decl/preamble.ma | diff | blob | history | |
| matita/contribs/LAMBDA-TYPES/Level-1/Base/ext/preamble.ma | diff | blob | history | |
| matita/contribs/developments.txt | [new file with mode: 0644] | blob |
| matita/legacy/coq.ma | [new file with mode: 0644] | blob |
| matita/legacy/makefile | [new file with mode: 0644] | blob |
| matita/library/legacy/coq.ma | [deleted file] | blob | history |
| matita/library/library_notation.ma | diff | blob | history |