]> matita.cs.unibo.it Git - helm.git/commit
a bit of improvement
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 30 Aug 2006 19:45:05 +0000 (19:45 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 30 Aug 2006 19:45:05 +0000 (19:45 +0000)
commitc172dd42f271e09172b03f91af2642edd821d639
tree831bc89d35269b91b9e7861802b9b34759e5d536
parent46df1bf21d9363b5a1185d0c4d4e943ed38b97ef
a bit of improvement
matita/contribs/LAMBDA-TYPES/Level-1/Base.ma
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta.ma
matita/contribs/LAMBDA-TYPES/Level-1/Preamble.ma