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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Mon, 10 Oct 2011 17:39:08 +0000 (17:39 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Mon, 10 Oct 2011 17:39:08 +0000 (17:39 +0000)
commit	55dc00c1c44cc21c7ae179cb9df03e7446002c46
tree	1056dabbc07e1f8cdf780e61ce7dcab638198d95	tree \| snapshot
parent	5b03651298a3943b67f49fb78dc30bb8b2780f30	commit \| diff

refactoring ...

54 files changed:

matita/matita/contribs/lambda_delta/Basic_2/Basic-1.txt	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Basic_2/grammar/cl_shift.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Basic_2/grammar/cl_weight.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Basic_2/grammar/item.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Basic_2/grammar/lenv.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Basic_2/grammar/lenv_length.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Basic_2/grammar/lenv_weight.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Basic_2/grammar/leq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Basic_2/grammar/sh.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Basic_2/grammar/term.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Basic_2/grammar/term_simple.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Basic_2/grammar/term_weight.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Basic_2/grammar/thom.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Basic_2/names.txt	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Basic_2/notation.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Basic_2/reduction/cpr.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Basic_2/reduction/cpr_cpr.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Basic_2/reduction/cpr_lift.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Basic_2/reduction/lcpr.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Basic_2/reduction/ltpr.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Basic_2/reduction/ltpr_drop.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Basic_2/reduction/tpr.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Basic_2/reduction/tpr_lift.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Basic_2/reduction/tpr_tpr.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Basic_2/reduction/tpr_tps.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Basic_2/substitution/drop.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Basic_2/substitution/drop_drop.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Basic_2/substitution/lift.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Basic_2/substitution/lift_lift.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Basic_2/substitution/ltps.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Basic_2/substitution/ltps_drop.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Basic_2/substitution/ltps_tps.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Basic_2/substitution/tps.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Basic_2/substitution/tps_lift.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Basic_2/substitution/tps_tps.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Basic_2/unfold/ltpss.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Basic_2/unfold/ltpss_drop.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Basic_2/unfold/ltpss_ltpss.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Basic_2/unfold/ltpss_tpss.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Basic_2/unfold/tpss.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Basic_2/unfold/tpss_lift.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Basic_2/unfold/tpss_ltps.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Basic_2/unfold/tpss_tpss.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Ground_2/arith.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Ground_2/list.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Ground_2/notation.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Ground_2/star.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Ground_2/xoa.conf.xml	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Ground_2/xoa.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Ground_2/xoa_notation.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Ground_2/xoa_props.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Makefile	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/replace.sh	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/root	[new file with mode: 0644]	blob

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

RSS Atom