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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 25 Oct 2015 18:56:33 +0000 (18:56 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 25 Oct 2015 18:56:33 +0000 (18:56 +0000)
commit	952ec5aa2e9a54787acb63a5c8d6fdbf9011ab60
tree	86a75c83649fd2e6dd1c407c0b44861101e13ec5	tree \| snapshot
parent	a5548736278a0b63f6f25c2721934ed8a7d2eef8	commit \| diff

theory of generic slicing almost completed ....

54 files changed:

matita/matita/contribs/lambdadelta/basic_2/etc_new/cpy/cpy.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/cpy/cpy_cpy.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/cpy/cpy_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/cpy/cpy_nlift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/drops/drops.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/drops/drops_append.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/drops/drops_length.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/drops/rdropstar_3.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/gget/gget.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/gget/gget_gget.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/gget/rdrop_3.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/lifts/lifts.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/lifts/lifts_neg.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/lsuby/lsuby.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/lsuby/lsuby_lsuby.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/rdrop_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/rdrop_4.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/rdrop_5.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/rdropstar_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/fqu.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/reduction/fquq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/reduction/fquq_alt.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/relocation/drop_lreq.ma	[new file with mode: 0644]	blob
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_lstar.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_vector.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_weight.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/substitution/cpy.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/cpy_cpy.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/cpy_lift.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/cpy_nlift.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/drop.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/drop_append.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/drop_drop.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/drop_lreq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/fqu.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/fquq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/fquq_alt.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/gget.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/gget_gget.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/lift.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/lift_lift.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/lift_lift_vector.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/lift_neg.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/lift_vector.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/lpx_sn.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/lpx_sn_alt.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/lpx_sn_drop.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/lpx_sn_lpx_sn.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/lsuby.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/lsuby_lsuby.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/trace_after.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/trace_isid.ma		diff \| blob \| history

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

RSS Atom