]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cfc4391) | patch
commit of the "relocation" component with the new definition of ldrop,
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 16 Jan 2014 21:49:29 +0000 (21:49 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 16 Jan 2014 21:49:29 +0000 (21:49 +0000)
commit928cfe1ebf2fbd31731c8851cdec70802596016d
tree824e1b979b7cfbe8972e4e3be3cd6ed3a8dbaaectree | snapshot
parentcfc43911db215e21036317b26bd1dcf9c3e5d435commit | diff
commit of the "relocation" component with the new definition of ldrop,
the other components will be committed shortly ...
19 files changed:
matita/matita/contribs/lambdadelta/basic_2/names.txt diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/rdrop_5.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/rdropstar_4.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/relocation/cpy.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/relocation/cpy_lift.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/relocation/fqu.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/relocation/fquq.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/relocation/fquq_alt.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/relocation/ldrop.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/relocation/ldrop_append.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/relocation/ldrop_ldrop.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/relocation/ldrop_lpx_sn.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/relocation/lsubr.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/relocation/lsubr_lsubr.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/relocation/lsuby.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl diff | blob | history
matita/matita/contribs/lambdadelta/ground_2/lib/bool.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/notation/constructors/no_0.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/notation/constructors/yes_0.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.