]>
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 |