matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 25 May 2014 20:04:55 +0000 (20:04 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 25 May 2014 20:04:55 +0000 (20:04 +0000)
commit	dffdece065d12d9961a6c3f1222f6d112030336f
tree	751e849334a36f92eb78bfe43695e387058e9c66	tree \| snapshot
parent	87fbbf33fcc2ed91cc8b8a08e1c378ef49ac723d	commit \| diff

- theory of llor now includes (long awaited) non-recursive alternative definition
- poinwise extensions downgraded (current llor does not need the improved version)
- some refactoring in etc

48 files changed:

matita/matita/contribs/lambdadelta/basic_2/etc/lcpcs/lcpcs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lcpcs/lcpcs_ltpr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lenv_px/lcpcs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lenv_px/lcpcs_ltpr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lenv_px/lenv_px_sn.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/llor.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/llor/lleq_llor.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/llor/lpxs_llor.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/cpr_llpx_sn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/cpx_llpx_sn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/lleq.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/lleq_llor.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/llpx_sn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/llpx_sn_alt.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/llpx_sn_alt_rec.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/llpx_sn_ldrop.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/llpx_sn_lpx_sn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/llpx_sn_tc.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/lpr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/lpx.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/lpx_sn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/lpx_sn_alt.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/lpx_sn_ldrop.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/lpx_sn_lpx_sn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/lpx_sn_tc.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/lpxs_llor.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/ssta_llpx_sn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/reduction/cpr_llpx_sn.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cpx_llpx_sn.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/lpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/lpx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lpx_sn.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lpx_sn_alt.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lpx_sn_ldrop.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lpx_sn_lpx_sn.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lpx_sn_tc.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/ssta_llpx_sn.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/lleq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/llor.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/substitution/llor_alt.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/substitution/llpx_sn.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/llpx_sn_alt.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/llpx_sn_alt_rec.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/llpx_sn_ldrop.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/llpx_sn_lpx_sn.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/llpx_sn_tc.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/arith.ma		diff \| blob \| history

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom