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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 1 Jun 2014 21:49:56 +0000 (21:49 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 1 Jun 2014 21:49:56 +0000 (21:49 +0000)
commit	598a5c56535a8339f6533227ab580aff64e2d41c
tree	23d6638affae58d8e0e7d74e0f99c0956cff26a1	tree \| snapshot
parent	c671743a83bbc7fff114e3e3694f628c0ec6685b	commit \| diff

- some refactoring and minor additions

193 files changed:

matita/matita/contribs/lambdadelta/apps_2/functional/lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/acp.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/acp_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/acp_cr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cpxs_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cpxs_tstc_vector.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbc.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbc_fleq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbs_alt.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbs_fleq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbu_fleq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbu_lleq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lprs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lsx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lsx_alt.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lsx_ldrop.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lsx_lpx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cofrees/cofrees.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cofrees/cofrees_alt.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cofrees/cofrees_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cofrees/cofreestar_4.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cofrees0/cofrees.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cofrees0/cofrees_alt.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cofrees0/cofrees_lift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cofrees0/cofreestar_3.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cofrees1/cofrees.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cofrees1/cofrees_alt.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cofrees1/cofrees_lift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cofrees1/cofreestar_4.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/multiple/cpys.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/multiple/cpys_alt.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/multiple/cpys_cpys.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/multiple/cpys_lift.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/multiple/fleq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/multiple/fleq_fleq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/multiple/fqup.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/multiple/fqup_fqup.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/multiple/fqus.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/multiple/fqus_alt.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/multiple/fqus_fqus.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/multiple/frees.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/multiple/frees_lift.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/multiple/gr2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/multiple/gr2_gr2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/multiple/gr2_minus.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/multiple/gr2_plus.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/multiple/ldrops.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/multiple/ldrops_ldrop.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/multiple/ldrops_ldrops.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/multiple/lifts.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/multiple/lifts_lift.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/multiple/lifts_lift_vector.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/multiple/lifts_lifts.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/multiple/lifts_vector.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/multiple/lleq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/multiple/lleq_alt.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/multiple/lleq_alt_rec.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/multiple/lleq_fqus.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/multiple/lleq_ldrop.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/multiple/lleq_leq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/multiple/lleq_lleq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/multiple/lleq_llor.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/multiple/llor.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/multiple/llor_ldrop.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/multiple/llpx_sn.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/multiple/llpx_sn_alt.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/multiple/llpx_sn_alt_rec.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/multiple/llpx_sn_ldrop.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/multiple/llpx_sn_leq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/multiple/llpx_sn_llor.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/multiple/llpx_sn_lpx_sn.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/multiple/llpx_sn_tc.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/reduction/cpr_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cpr_llpx_sn.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cpx_leq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cpx_lift.ma		diff \| blob \| history
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/crr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/crr_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/crx_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/fpb.ma		diff \| blob \| history
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/reduction/lpx_frees.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/lpx_ldrop.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/lpx_lleq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/cpy.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/cpy_cpy.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/cpy_lift.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/cpy_nlift.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/fqu.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/fquq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/fquq_alt.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/gget.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/gget_gget.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/ldrop.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/ldrop_ldrop.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/ldrop_leq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lift.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lift_lift.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lift_lift_vector.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lift_neg.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lift_vector.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lpx_sn.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lpx_sn_alt.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lpx_sn_ldrop.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lpx_sn_lpx_sn.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lpx_sn_tc.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lsuby.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lsuby_lsuby.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/aaa_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/aaa_fqus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/aaa_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/aaa_lifts.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/aaa_lleq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/da.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/da_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lsubr.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/cpy.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/substitution/cpy_cpy.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/substitution/cpy_lift.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/substitution/cpy_nlift.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/substitution/cpys.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/cpys_alt.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/cpys_cpys.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/cpys_lift.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/fleq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/fleq_fleq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/fqu.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/substitution/fqup.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/fqup_fqup.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/fquq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/substitution/fquq_alt.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/substitution/fqus.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/fqus_alt.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/fqus_fqus.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/frees.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/frees_lift.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/gget.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/substitution/gget_gget.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/substitution/gr2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/gr2_gr2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/gr2_minus.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/gr2_plus.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/ldrop.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/substitution/ldrop_ldrop.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/substitution/ldrop_leq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/substitution/ldrops.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/ldrops_ldrop.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/ldrops_ldrops.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/lift.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/substitution/lift_lift.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/substitution/lift_lift_vector.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/substitution/lift_neg.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/substitution/lift_vector.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/substitution/lifts.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/lifts_lift.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/lifts_lift_vector.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/lifts_lifts.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/lifts_vector.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/lleq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/lleq_alt.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/lleq_alt_rec.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/lleq_fqus.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/lleq_ldrop.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/lleq_leq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/lleq_lleq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/lleq_llor.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/llor.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/llor_ldrop.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/llpx_sn.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/llpx_sn_alt.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/llpx_sn_alt_rec.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/llpx_sn_ldrop.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/llpx_sn_leq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/llpx_sn_llor.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/llpx_sn_lpx_sn.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/llpx_sn_tc.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/lpx_sn.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/substitution/lpx_sn_alt.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/substitution/lpx_sn_ldrop.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/substitution/lpx_sn_lpx_sn.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/substitution/lpx_sn_tc.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/substitution/lsuby.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/substitution/lsuby_lsuby.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/unfold/unfold.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/ynat/ynat_plus.ma		diff \| blob \| history

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

RSS Atom