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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Thu, 3 Nov 2011 22:45:59 +0000 (22:45 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Thu, 3 Nov 2011 22:45:59 +0000 (22:45 +0000)
commit	f75be90562ddd964ef7ed43b956eb908f3133e3a
tree	397edcc52a1414ad3a9abea6c23769e7abf0f819	tree \| snapshot
parent	d6f1365a9f1cb48af8a7b32cf074373466779e7e	commit \| diff

- contex-free normal forms started
- final definition for context-sensitive reduction on local environments
- some refactoring

32 files changed:

matita/matita/contribs/lambda_delta/Basic_2/notation.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/Basic_2/reducibility/cpr.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Basic_2/reducibility/cpr_cpr.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Basic_2/reducibility/cpr_lift.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Basic_2/reducibility/cpr_ltpr.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Basic_2/reducibility/lcpr.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Basic_2/reducibility/ltpr.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Basic_2/reducibility/ltpr_ldrop.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Basic_2/reducibility/tnf.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Basic_2/reducibility/tpr.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Basic_2/reducibility/tpr_lift.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Basic_2/reducibility/tpr_tpr.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Basic_2/reducibility/tpr_tpss.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Basic_2/reducibility/trf.ma	[new file with mode: 0644]	blob
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/cpr_ltpr.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_ldrop.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_tpss.ma	[deleted file]	blob \| history
matita/matita/contribs/lambda_delta/Basic_2/substitution/lift_lift.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/Basic_2/unfold/ltpss.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/Basic_2/unfold/ltpss_tpss.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/Ground_2/star.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/Ground_2/xoa.conf.xml		diff \| blob \| history
matita/matita/contribs/lambda_delta/Ground_2/xoa.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/Ground_2/xoa_notation.ma		diff \| blob \| history

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

RSS Atom