]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7c7d06e) | patch
- 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
tree127c7ea2a8b04dca3aeab7515b83a0dc129b58b2tree | snapshot
parent7c7d06e172313059f73302fab2aab59efbf1f419commit | diff
- 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 diff | blob | history
matita/matita/contribs/lambda-delta/Basic-2/substitution/drop.ma diff | blob | history
matita/matita/contribs/lambda-delta/Basic-2/substitution/leq.ma diff | blob | history
matita/matita/contribs/lambda-delta/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.