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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 30 Mar 2014 19:47:08 +0000 (19:47 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 30 Mar 2014 19:47:08 +0000 (19:47 +0000)
commit	82fc9726cbd3363dcd08695dbe0179653e6a18a7
tree	36a50611d0602263beb0a8fe7fc96786481a2c03	tree \| snapshot
parent	956df16197063a88b3858e3d212d7ed0f2c5ff46	commit \| diff

update of the partial commit:
we move lleq to the "substitution" component

36 files changed:

matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/btpredsnstar_8.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/csx_lpx.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/csx_lpxs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/fpbu_fpns.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/fpns.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/fpns_fpns.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/lprs_cprs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/lpxs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/lpxs_aaa.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/lpxs_alt.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/lpxs_cpxs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/lpxs_ldrop.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/lpxs_lleq.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/lpxs_lpxs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/btpredsnstar_8.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/lazyeq_7.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/fpb.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/llpx_lleq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/fqu_lleq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/fquq_lleq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lleq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lleq_ldrop.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lleq_leq.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/llpx_sn_tc.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/substitution/fleq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/substitution/fleq_fleq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/substitution/fqup_lleq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/fqus_lleq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/lleq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/substitution/lleq_fqus.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/substitution/lleq_ldrop.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/substitution/lleq_leq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/substitution/lleq_lleq.ma	[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