]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 78b2799) | patch
some resuls on pointwise extensions (all of them are now in the
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 7 Apr 2014 19:53:54 +0000 (19:53 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 7 Apr 2014 19:53:54 +0000 (19:53 +0000)
commita76f56fdad6348b167376093920650379c9936d4
tree25c1fc9e598539dca3dbdddc77af2eb619144d28tree | snapshot
parent78b27990925c54b2a34cff609fc9bcfbeb6b48f3commit | diff
some resuls on pointwise extensions (all of them are now in the
"relocation" component
23 files changed:
matita/matita/contribs/lambdadelta/basic_2/computation/lprs.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/etc/llpx_sn/lift_neg.etc [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/etc/llpx_sn/lleq_alt.etc [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/etc/llpx_sn/llpx_sn_alt.etc [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/grammar/lpx_sn.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/grammar/lpx_sn_lpx_sn.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/grammar/lpx_sn_tc.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/lazyor_4.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/reduction/lpr.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/reduction/lpr_ldrop.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/reduction/lpr_lpr.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/relocation/ldrop_lpx_sn.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/relocation/lift_neg.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/relocation/llor.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/relocation/llpx_sn_alt.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/relocation/llpx_sn_lpx_sn.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/relocation/lpx_sn.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/relocation/lpx_sn_alt.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/relocation/lpx_sn_ldrop.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/relocation/lpx_sn_lpx_sn.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/relocation/lpx_sn_tc.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/substitution/lleq_alt.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.