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 | dcac7c3f755cb1980e62f517d639d8e12ffd1c76 | |
| tree | acab741d2d77f6c5e0f3f0d89a01263d9a9c8211 | tree | snapshot |
| parent | 78a298ace44f95591f8352b60f08575cb7d2da52 | commit | diff |
| helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/iso/props.ma | diff | blob | history | |
| helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/iso.ma | diff | blob | history |