]> matita.cs.unibo.it Git - helm.git/commit
- tentative definition of lcpr (contex-sensitive parallel reduction on
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 19 Aug 2011 13:57:35 +0000 (13:57 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 19 Aug 2011 13:57:35 +0000 (13:57 +0000)
commit808b11cfb97f83f75c30ba016f4e457ee4816eb3
tree4cfcf75c0ef49b25ff952969a03da73049244895
parent0b8b1d3ab4182f3843d860df0feba96afa1d9165
- tentative definition of lcpr (contex-sensitive parallel reduction on
local environments)
- some refactoring
matita/matita/contribs/lambda-delta/Basic-2/notation.ma
matita/matita/contribs/lambda-delta/Basic-2/reduction/lcpr.ma [new file with mode: 0644]
matita/matita/contribs/lambda-delta/Basic-2/reduction/lpr.ma [deleted file]
matita/matita/contribs/lambda-delta/Basic-2/reduction/ltpr.ma [new file with mode: 0644]
matita/matita/contribs/lambda-delta/Basic-2/reduction/tpr_tps.ma