]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 143c97a) | patch
more results on extended reduction
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 8 Jun 2013 20:21:50 +0000 (20:21 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 8 Jun 2013 20:21:50 +0000 (20:21 +0000)
commit2368e490e9b948097cee58ae7c9d4915d1c3746f
treec4bc87978686493067bf5726f8e83b48d3829e35tree | snapshot
parent143c97a8fe657eb7b041dec2747b0e67b5899762commit | diff
more results on extended reduction
15 files changed:
matita/matita/contribs/lambdadelta/basic_2/computation/cprs_aaa.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/computation/lprs_aaa.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/notation.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/reduction/cpr.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/reduction/cpx.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/reduction/cpx_ldrop.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/reduction/cpx_lift.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/reduction/lpr_aaa.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/reduction/lpx.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/reduction/lpx_aaa.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/reduction/lpx_ldrop.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/relocation/fsup.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/relocation/fsupq.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/static/sh.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.