projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Fri, 1 Sep 2006 18:42:06 +0000 (18:42 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Fri, 1 Sep 2006 18:42:06 +0000 (18:42 +0000) | ||
| commit | e8f4a84884d35198d41b71da14dc0be714b8bd0b | |
| tree | b5b33dec567bcf60730e8b1950aa7b3e1d3fcfc7 | tree | snapshot |
| parent | 4885f49660dc31fc6ecbed36c383b111381a8684 | commit | diff |
| helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base.ma | diff | blob | history | |
| helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Preamble.ma | diff | blob | history |