]> matita.cs.unibo.it Git - helm.git/commit
more lemmas to prove and a correction in subst
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 14 Jun 2011 18:24:05 +0000 (18:24 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 14 Jun 2011 18:24:05 +0000 (18:24 +0000)
commit2d7c5c2bc32162612138e329a48c8108e010334d
tree69b768ce4d3b3369efe148ad540f318d729ddd86
parent4aaff80b073be8f91ab05c0d17cca3b3c644f454
more lemmas to prove and a correction in subst
matita/matita/lib/lambda-delta/reduction/pr.ma
matita/matita/lib/lambda-delta/substitution/lift.ma
matita/matita/lib/lambda-delta/substitution/subst.ma
matita/matita/lib/lambda-delta/substitution/thin.ma