]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0b8b1d3) | patch
- 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
tree4cfcf75c0ef49b25ff952969a03da73049244895tree | snapshot
parent0b8b1d3ab4182f3843d860df0feba96afa1d9165commit | diff
- tentative definition of lcpr (contex-sensitive parallel reduction on
local environments)
- some refactoring
matita/matita/contribs/lambda-delta/Basic-2/notation.ma diff | blob | history
matita/matita/contribs/lambda-delta/Basic-2/reduction/lcpr.ma [new file with mode: 0644] blob
matita/matita/contribs/lambda-delta/Basic-2/reduction/lpr.ma [deleted file] blob | history
matita/matita/contribs/lambda-delta/Basic-2/reduction/ltpr.ma [new file with mode: 0644] blob
matita/matita/contribs/lambda-delta/Basic-2/reduction/tpr_tps.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.