]> matita.cs.unibo.it Git - helm.git/commit
- subject equivalence for atomic arity assignment completed!
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 16 Apr 2012 14:45:39 +0000 (14:45 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 16 Apr 2012 14:45:39 +0000 (14:45 +0000)
commit83fcc60ebb369516f291209925ffa42ba64e24f9
tree47df9476842048983127fadb4058050d5028f46f
parent1bb7e6b001ef3d712a9da6fbad0405b130e9f819
- 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
matita/matita/contribs/lambda_delta/basic_2/computation/lcprs_lcprs.ma
matita/matita/contribs/lambda_delta/basic_2/reducibility/cpr_ltpss.ma
matita/matita/contribs/lambda_delta/basic_2/reducibility/cpr_ltpsss.ma [new file with mode: 0644]
matita/matita/contribs/lambda_delta/basic_2/reducibility/lcpr.ma
matita/matita/contribs/lambda_delta/basic_2/reducibility/lcpr_aaa.ma
matita/matita/contribs/lambda_delta/basic_2/reducibility/lcpr_cpr.ma
matita/matita/contribs/lambda_delta/basic_2/reducibility/lcpr_lcpr.ma
matita/matita/contribs/lambda_delta/basic_2/reducibility/ltpr_aaa.ma
matita/matita/contribs/lambda_delta/basic_2/reducibility/ltpr_ltpss.ma
matita/matita/contribs/lambda_delta/basic_2/reducibility/ltpr_ltpsss.ma [new file with mode: 0644]
matita/matita/contribs/lambda_delta/basic_2/reducibility/tpr_tpss.ma
matita/matita/contribs/lambda_delta/basic_2/static/aaa_ltps.ma [deleted file]
matita/matita/contribs/lambda_delta/basic_2/static/aaa_ltpss.ma
matita/matita/contribs/lambda_delta/basic_2/static/aaa_ltpsss.ma [new file with mode: 0644]
matita/matita/contribs/lambda_delta/basic_2/unfold/ltpss.ma
matita/matita/contribs/lambda_delta/basic_2/unfold/ltpss_ltpss.ma
matita/matita/contribs/lambda_delta/basic_2/unfold/ltpss_tpss.ma
matita/matita/contribs/lambda_delta/basic_2/unfold/ltpsss.ma [new file with mode: 0644]
matita/matita/contribs/lambda_delta/basic_2/unfold/ltpsss_ldrop.ma [new file with mode: 0644]
matita/matita/contribs/lambda_delta/basic_2/unfold/ltpsss_ltpsss.ma [new file with mode: 0644]
matita/matita/contribs/lambda_delta/basic_2/unfold/ltpsss_tps.ma [new file with mode: 0644]
matita/matita/contribs/lambda_delta/basic_2/unfold/ltpsss_tpss.ma [new file with mode: 0644]
matita/matita/contribs/lambda_delta/basic_2/unfold/tpss_alt.ma [new file with mode: 0644]