matita.cs.unibo.it Git - helm.git/commit - matita/matita/contribs/lambda_delta/basic

]> matita.cs.unibo.it Git - helm.git/commit - matita/matita/contribs/lambda_delta/basic_2/unfold/ltpss.ma

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Mon, 16 Apr 2012 14:45:39 +0000 (14:45 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Mon, 16 Apr 2012 14:45:39 +0000 (14:45 +0000)
commit	83fcc60ebb369516f291209925ffa42ba64e24f9
tree	47df9476842048983127fadb4058050d5028f46f	tree \| snapshot
parent	1bb7e6b001ef3d712a9da6fbad0405b130e9f819	commit \| diff

- subject equivalence for atomic arity assignment completed!
- bug fix in partial unfold for local environments (nowthis relation
is confluent)

24 files changed:

matita/matita/contribs/lambda_delta/basic_2/computation/cprs_lcpr.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/basic_2/computation/lcprs_lcprs.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/basic_2/reducibility/cpr_ltpss.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/basic_2/reducibility/cpr_ltpsss.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/basic_2/reducibility/lcpr.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/basic_2/reducibility/lcpr_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/basic_2/reducibility/lcpr_cpr.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/basic_2/reducibility/lcpr_lcpr.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/basic_2/reducibility/ltpr_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/basic_2/reducibility/ltpr_ltpss.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/basic_2/reducibility/ltpr_ltpsss.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/basic_2/reducibility/tpr_tpss.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/basic_2/static/aaa_ltps.ma	[deleted file]	blob \| history
matita/matita/contribs/lambda_delta/basic_2/static/aaa_ltpss.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/basic_2/static/aaa_ltpsss.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/basic_2/unfold/ltpss.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/basic_2/unfold/ltpss_ltpss.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/basic_2/unfold/ltpss_tpss.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/basic_2/unfold/ltpsss.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/basic_2/unfold/ltpsss_ldrop.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/basic_2/unfold/ltpsss_ltpsss.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/basic_2/unfold/ltpsss_tps.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/basic_2/unfold/ltpsss_tpss.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda_delta/basic_2/unfold/tpss_alt.ma	[new file with mode: 0644]	blob

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

RSS Atom