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 18:36:03 +0000 (18:36 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Mon, 10 Oct 2011 18:36:03 +0000 (18:36 +0000)
commit	0dc8115859d7f482793315493adc0b619236e06c
tree	f7ab448201b82b4e46a8a36c47bad9a94cf08da7	tree \| snapshot
parent	55dc00c1c44cc21c7ae179cb9df03e7446002c46	commit \| diff

refactoring ...

54 files changed:

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

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

RSS Atom