]> matita.cs.unibo.it Git - helm.git/commit
last problem elegantly resolved!
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 18 Sep 2006 14:28:30 +0000 (14:28 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 18 Sep 2006 14:28:30 +0000 (14:28 +0000)
commit92e6d4bc77a154dde1df3a25b0004d8fd46cc8b3
tree40a48b689eabef1f00511dad4fc9d18aa35e7f8d
parent592dca18b8f2bd19c3020bc1bb1f0270188e347a
last problem elegantly resolved!
15 files changed:
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base/ext/arith.ma
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base/ext/preamble.ma
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/aplus/props.ma
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/drop/props.ma
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/gz/props.ma
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift/fwd.ma
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift/props.ma
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift/tlt.ma
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/dec.ma
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/subst1.ma
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst0/subst0.ma
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst1/subst1.ma
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/arity.ma
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/subst1.ma
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/problems-1.ma [deleted file]