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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 25 Mar 2014 19:55:08 +0000 (19:55 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 25 Mar 2014 19:55:08 +0000 (19:55 +0000)
commit	956df16197063a88b3858e3d212d7ed0f2c5ff46
tree	0c65afa1d525089c62018d067173392aecf38406	tree \| snapshot
parent	1e414c3226307112e8289e014e2941479df7c663	commit \| diff

- partial commit: just the components below "computation"
the development of lazy pointwise extensions continues ...
- we parked not-lazy pointwise extensions in etc

55 files changed:

matita/matita/contribs/lambdadelta/basic_2/etc/llpx_sn/llpx_sn_tc.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/ldrop_lpx_sn.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/lpr_ldrop.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/lpr_lpr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/lprs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/lprs_alt.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/lprs_ldrop.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/lprs_lprs.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_aaa.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/lpx_ldrop.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/lpx_lleq.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_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/predsn_3.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/predsn_5.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/predsnstar_3.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/predsnstar_5.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/predsnstaralt_3.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/predsnstaralt_5.etc	[new file with mode: 0644]	blob
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/lazypredsnstar_5.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/lazypredsnstar_7.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predsn_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predsn_5.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predsnstar_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predsnstar_5.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predsnstaralt_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predsnstaralt_5.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cpr_llpx_sn.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/reduction/cpx_lleq.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/fpb.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/fpb_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/llpr_ldrop.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/llpr_llpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/llpx_aaa.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/reduction/llpx_ldrop.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/llpx_lleq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/reduction/lpr.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/lpr_ldrop.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/lpr_lpr.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/lpx.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/lpx_aaa.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/lpx_ldrop.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/lpx_lleq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/ldrop_leq.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/llpx_sn_llpx_sn.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/etc/lib/star.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/lib/star.ma		diff \| blob \| history

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

RSS Atom