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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Thu, 9 Feb 2012 19:30:41 +0000 (19:30 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Thu, 9 Feb 2012 19:30:41 +0000 (19:30 +0000)
commit	b5db76fe31ab35bae0257cb6684c511bcc531e45
tree	8e68149de69b2ead262ddcf06161e9b5c2b44bd0	tree \| snapshot
parent	974799592f0614ee54def765fb1775f3c0e98668	commit \| diff

- first properties of strongly normalizing terms
- contex-sensitive normal forms
- context-sensitive parallel computation of terms

23 files changed:

matita/matita/contribs/lambda_delta/Basic_2/Basic_1.txt		diff \| blob \| history
matita/matita/contribs/lambda_delta/Basic_2/computation/acp.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/Basic_2/computation/acp_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/Basic_2/computation/acp_cr.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/Basic_2/computation/cprs.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Basic_2/computation/cprs_cprs.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Basic_2/computation/cprs_lcpr.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Basic_2/computation/csn.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/Basic_2/computation/csn_cr.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/Basic_2/computation/csn_lift.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Basic_2/computation/lsubc_ldrop.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/Basic_2/grammar/term.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/Basic_2/notation.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/Basic_2/reducibility/cnf.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Basic_2/reducibility/cnf_lift.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Basic_2/reducibility/cpr_lift.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/Basic_2/reducibility/cpr_ltpss.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Basic_2/reducibility/cpr_tpss.ma	[deleted file]	blob \| history
matita/matita/contribs/lambda_delta/Basic_2/reducibility/ltpr_ldrop.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/Basic_2/reducibility/ltpr_tps.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/Basic_2/substitution/ltps.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/Basic_2/unfold/ltpss.ma		diff \| blob \| history
matita/matita/predefined_virtuals.ml		diff \| blob \| history

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

RSS Atom