]> matita.cs.unibo.it Git - helm.git/commit
some corrections and additions
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 5 Mar 2008 18:26:38 +0000 (18:26 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 5 Mar 2008 18:26:38 +0000 (18:26 +0000)
commitde0eae04721942f08b7281664bfbc26badf5de84
tree5013f10dda29c9b8ff3c9c2d909709fab7e86f3d
parent1436037fbaeb5155b485371298b3656bc636f22f
some corrections and additions
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/csuba/drop.ma
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/tau0/fwd.ma [new file with mode: 0644]
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/ty3/tau0.ma