]> matita.cs.unibo.it Git - helm.git/commit
- weakening leq, we proved cpr_bind_dx
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 25 Aug 2011 13:20:47 +0000 (13:20 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 25 Aug 2011 13:20:47 +0000 (13:20 +0000)
commitffe34220d80cba65eccf2396fba7f692cc6448c8
tree127c7ea2a8b04dca3aeab7515b83a0dc129b58b2
parent7c7d06e172313059f73302fab2aab59efbf1f419
- weakening leq, we proved cpr_bind_dx
- we imple,ented some statistics in the Makefile
matita/matita/contribs/lambda-delta/Basic-2/reduction/cpr.ma
matita/matita/contribs/lambda-delta/Basic-2/substitution/drop.ma
matita/matita/contribs/lambda-delta/Basic-2/substitution/leq.ma
matita/matita/contribs/lambda-delta/Makefile