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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Thu, 10 Mar 2016 21:12:43 +0000 (21:12 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Thu, 10 Mar 2016 21:12:43 +0000 (21:12 +0000)
commit	9b8d36ee041582f876543086e7659ed9e365e861
tree	181f1e37e03b09615039ebd86a53e5fbe592b94f	tree \| snapshot
parent	2c8220e5e0c09486355aa79d5cd8a7716c444aca	commit \| diff

partial commit in the relocation component to move some files ...

61 files changed:

matita/matita/contribs/lambdadelta/basic_2/computation/fqup.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/computation/fqup_fqup.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/computation/fqus.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/computation/fqus_alt.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/computation/fqus_fqus.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/drops/drops.etc		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/lleq/lleq.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/lleq/lleq_alt.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/lleq/lleq_alt_rec.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/lleq/lleq_drop.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/lleq/lleq_fqus.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/lleq/lleq_lleq.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/lleq/lleq_llor.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/lleq/lleq_lreq.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/llpx_sn/llpx_sn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/llpx_sn/llpx_sn_alt.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/llpx_sn/llpx_sn_alt_rec.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/llpx_sn/llpx_sn_drop.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/llpx_sn/llpx_sn_frees.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/llpx_sn/llpx_sn_llor.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/llpx_sn/llpx_sn_lpx_sn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/llpx_sn/llpx_sn_lreq.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/llpx_sn/llpx_sn_tc.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/lpx_sn/lpx_sn_lpx_sn.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_new/lreq/lreq_lreq.etc		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drop_lreq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_lreq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_lstar.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_weight.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/fqup.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/fqup_fqup.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/fqus.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/fqus_alt.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/fqus_fqus.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/frees.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lexs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lexs_drops.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/relocation/lexs_lexs.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/relocation/lifts.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lifts_lifts.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lleq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lleq_alt.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lleq_alt_rec.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lleq_drop.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lleq_fqus.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lleq_lleq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lleq_llor.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lleq_lreq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/llpx_sn.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/llpx_sn_alt.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/llpx_sn_alt_rec.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/llpx_sn_drop.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/llpx_sn_frees.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/llpx_sn_llor.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/llpx_sn_lpx_sn.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/llpx_sn_lreq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/llpx_sn_tc.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lpx_sn_drops.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lreq.ma		diff \| blob \| history

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

RSS Atom