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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Wed, 1 Feb 2017 19:52:07 +0000 (19:52 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Wed, 1 Feb 2017 19:52:07 +0000 (19:52 +0000)
commit	a9e994f4ca8e04743c53ed8cb057ee5dae80c8f9
tree	ae577247a96303e278847d82f8f709fc4a026b7c	tree \| snapshot
parent	fc8a2701628ef45be06570f02dc3f19ba1523365	commit \| diff

- advances in rt_transition
- bugs fixed and refactoring of some parked files

46 files changed:

matita/matita/contribs/lambdadelta/basic_2/etc/ceq.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/ceq_ceq.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpx_lreq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpy/psubst_6.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpys/psubststar_6.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpys/psubststaralt_6.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/droppreds_3.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/fpb_lift.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/fpbq_lift.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lazyor_5.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lfpr_main.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lfxs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lfxs/lfxs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lfxs/lfxs_drops.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lfxs/lfxs_fqup.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lfxs/lfxs_length.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lfxs/lfxs_lfxs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lfxs_drops.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lfxs_fqup.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lfxs_length.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lfxs_lfxs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lrsubeq_4.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lsuby/lrsubeq_4.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/ltls.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/ltls/droppreds_3.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/ltls/ltls.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/notation/lazyor_5.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/notation/notation.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/psubst_6.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/psubststar_6.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/psubststaralt_6.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/notation.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpm_lfxs.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpr_llpx_sn.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_lfdeq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_lfxs.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_lleq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_llpx_sn.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_lreq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/fpb.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/fpb_lift.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/fpbq_lift.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/partial.txt		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/ffdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl		diff \| blob \| history

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

RSS Atom