projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Sun, 29 Oct 2006 15:11:56 +0000 (15:11 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Sun, 29 Oct 2006 15:11:56 +0000 (15:11 +0000) | ||
| commit | 2cd3e5e157c86a07666eb7501b5050cbafdfe6b1 | |
| tree | 195de8cc2526c4658b027fe39d545541b13c0161 | tree | snapshot |
| parent | 4457eabc9f8d4839201cbda5f110889265907dcf | commit | diff |
| helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta.ma | diff | blob | history | |
| helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/props.ma | diff | blob | history |