]> matita.cs.unibo.it Git - helm.git/commit
one reduction rule (tpr) was redundant
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 24 Aug 2011 17:48:10 +0000 (17:48 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 24 Aug 2011 17:48:10 +0000 (17:48 +0000)
commit7c7d06e172313059f73302fab2aab59efbf1f419
tree7d67dc75f5de085f23eed603cb6ac85789f324a0
parent093f9476ddf96034b89e6ad443f74bcc6c067912
one reduction rule (tpr) was redundant
matita/matita/contribs/lambda-delta/Basic-2/reduction/cpr.ma
matita/matita/contribs/lambda-delta/Basic-2/reduction/tpr.ma
matita/matita/contribs/lambda-delta/Basic-2/reduction/tpr_lift.ma
matita/matita/contribs/lambda-delta/Basic-2/reduction/tpr_tpr.ma
matita/matita/contribs/lambda-delta/Basic-2/substitution/tps_lift.ma