]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bd264ed) | patch
- first results on strongly normalizing local environments
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 9 Dec 2013 21:53:19 +0000 (21:53 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 9 Dec 2013 21:53:19 +0000 (21:53 +0000)
commitd1b944b638846d98dfeb21fa6757e89c609be82a
tree00b9576b5460574d3b0c0dd5f5599f70d77de124tree | snapshot
parentbd264ed7070e6fbb8d77fc85994e0ceb684fca7ccommit | diff
- first results on strongly normalizing local environments
- some updates
matita/matita/contribs/lambdadelta/basic_2/computation/csx.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/computation/csx_fpbc.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/computation/csx_fpbs.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/computation/fpbc_fpns.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/computation/lpxs_lleq.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/computation/lsx.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/computation/lsx_cpxs.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/computation/lsx_csx.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/computation/lsx_fpbc.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/lazysn_5.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.