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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Wed, 21 Oct 2015 16:59:38 +0000 (16:59 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Wed, 21 Oct 2015 16:59:38 +0000 (16:59 +0000)
commit	7593c0f74b944fb100493fb24b665ce3b8d1d252
tree	a7136a7b1383404cbf021fabfa239aff223f522f	tree \| snapshot
parent	361a91ade954f92013da892c62d41e3a7168cfc0	commit \| diff

theory of multiple relocation completed

80 files changed:

matita/matita/contribs/lambdadelta/basic_2/etc_new/cpys/cpys.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/cpys/cpys_alt.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/cpys/cpys_cpys.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/cpys/cpys_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/llor/llor.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/llor/llor_alt.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/llor/llor_drop.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/multiple/cpys.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/multiple/cpys_alt.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/multiple/cpys_cpys.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/multiple/cpys_lift.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/multiple/drops.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/multiple/drops_drop.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/multiple/drops_drops.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/multiple/fleq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/multiple/fleq_fleq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/multiple/fqup.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/multiple/fqup_fqup.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/multiple/fqus.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/multiple/fqus_alt.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/multiple/fqus_fqus.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/multiple/lifts.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/multiple/lifts_lift.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/multiple/lifts_lift_vector.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/multiple/lifts_lifts.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/multiple/lifts_vector.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/multiple/lleq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/multiple/lleq_alt.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/multiple/lleq_alt_rec.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/multiple/lleq_drop.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/multiple/lleq_fqus.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/multiple/lleq_lleq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/multiple/lleq_llor.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/multiple/lleq_lreq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/multiple/llor.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/multiple/llor_alt.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/multiple/llor_drop.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/multiple/llpx_sn.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/multiple/llpx_sn_alt.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/multiple/llpx_sn_alt_rec.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/multiple/llpx_sn_drop.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/multiple/llpx_sn_frees.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/multiple/llpx_sn_llor.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/multiple/llpx_sn_lpx_sn.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/multiple/llpx_sn_lreq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/multiple/llpx_sn_tc.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_drop.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_drops.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/relocation/fleq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/relocation/fleq_fleq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/relocation/fqup.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/relocation/fqup_fqup.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/relocation/fqus.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/relocation/fqus_alt.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/relocation/fqus_fqus.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/relocation/frees.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/relocation/lifts.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/relocation/lifts_lifts.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/relocation/lifts_lifts_vector.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/relocation/lifts_simple.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/relocation/lifts_vector.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/relocation/lifts_weight.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/relocation/lleq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/relocation/lleq_alt.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/relocation/lleq_alt_rec.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/relocation/lleq_drop.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/relocation/lleq_fqus.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/relocation/lleq_lleq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/relocation/lleq_llor.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/relocation/lleq_lreq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/relocation/llpx_sn.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_alt_rec.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/relocation/llpx_sn_drop.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/relocation/llpx_sn_frees.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/relocation/llpx_sn_llor.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/relocation/llpx_sn_lpx_sn.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/relocation/llpx_sn_lreq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/relocation/llpx_sn_tc.ma	[new file with mode: 0644]	blob

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

RSS Atom