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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 5 May 2013 18:16:14 +0000 (18:16 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 5 May 2013 18:16:14 +0000 (18:16 +0000)
commit	0679e5d5a305a43a8b4b01a5ac4c7caffacc73b9
tree	a8eb5fb13a59d9d4bcfe058ee94808aaaf327c8e	tree \| snapshot
parent	73428212ec1db9ea1559994f88cd02894a2c9478	commit \| diff

- partial commit (just the components before computation)
- we park head normal forms for the moment
- some refactoring

55 files changed:

matita/matita/contribs/lambdadelta/basic_2/etc/cpr/ldrop_lbotr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/ldrop_lpx.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/lenv_px.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/lfprs_ltprs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/lsubr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/lsubr_lbotr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/ltprs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/ltprs_alt.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/ltprs_ldrop.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/ltprs_ltprs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/tprs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/tprs_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/tprs_tprs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/delift/cprs_delift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/fpr/fprs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/fpr/fprs_aaa.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/fpr/fprs_cprs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/fpr/fprs_fprs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/fpr/lenv_px_bi.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/fpr/lfprs_fprs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/tshf/chnf.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/tshf/cpr_tshf.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/tshf/tshf.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/grammar/lenv_px.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/grammar/lenv_px_bi.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/grammar/lenv_px_sn.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/grammar/lpx_sn.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/grammar/lpx_sn_lpx_sn.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/grammar/lpx_sn_tc.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/grammar/tshf.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/chnf.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cpr_tshf.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/lpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/lpr_cpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/lpr_cpss.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/ldrop.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/ldrop_lbotr.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/ldrop_lpx.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/ldrop_lpx_sn.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lsubr.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lsubr_lbotr.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/cpss.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/lpss.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/lpss_cpss.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/lsubr.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/substitution/lsubr_lsubr.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/unfold/cpqs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/unfold/lpqs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/unfold/lpqs_cpqs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/star.ma		diff \| blob \| history

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

RSS Atom