projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Wed, 25 Oct 2006 16:47:18 +0000 (16:47 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Wed, 25 Oct 2006 16:47:18 +0000 (16:47 +0000) | ||
| commit | 3bfe4a4442b5cd52173957b54e6ef76b98bce367 | |
| tree | 212e99a8196df0f1cb81299107f9e5a10aa3255f | tree | snapshot |
| parent | 94a75f971149efd44cde424b6aad38aacbb3c250 | commit | diff |
| matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/iso/props.ma | diff | blob | history | |
| matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/iso.ma | diff | blob | history |