]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ad40101) | patch
- lsubr moved down one component
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 16 Dec 2013 20:55:49 +0000 (20:55 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 16 Dec 2013 20:55:49 +0000 (20:55 +0000)
commit3e9d72c26091f0e157a024ea9bd6f95a95729860
tree147f0f80f97cc9a7cacd15f0cb1e0da494aff07atree | snapshot
parentad4010180cfdfb6c3454c9bdc52d290332de665ecommit | diff
- lsubr moved down one component
- extended substitution started (for use in lleq)
16 files changed:
matita/matita/contribs/lambdadelta/basic_2/etc/ygt/zgt.etc [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/names.txt diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/extlrsubeq_4.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/extpsubst_6.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/reduction/cpr.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/relocation/cpy.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/relocation/cpy_cpy.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/relocation/cpy_lift.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/relocation/lsubr.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/relocation/lsubr_lsubr.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/relocation/lsuby.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/static/lsuba.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/static/lsubd.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/substitution/lsubr.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/substitution/lsubr_lsubr.ma [deleted file] 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.