]> 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)
commit87f7e1c9c7a65ed62d19324b2a879a40e933bc5b
treebcf29752922bacdaee16b3d4db6b0fbb9a6d65a3
parentaed1e0bd3c3d960cd7a1d4c54b8b7139f90a2552
a bit of improvement
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base.ma
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta.ma
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Preamble.ma