]> matita.cs.unibo.it Git - helm.git/commit
- property S6 of stronfly normalizing terms proved
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 27 Feb 2012 21:43:36 +0000 (21:43 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 27 Feb 2012 21:43:36 +0000 (21:43 +0000)
commit10fa9ea840893d1b452200a402612f923765967e
tree553625a6d2dfe45552ea3acd945a5968d6898af7
parent5924405e7f361a8b2bf638e6a361f7f16cdc7ac2
- property S6 of stronfly normalizing terms proved
- more properties concerning context sensitive computation
matita/matita/contribs/lambda_delta/Basic_2/Basic_1.txt
matita/matita/contribs/lambda_delta/Basic_2/computation/cprs.ma
matita/matita/contribs/lambda_delta/Basic_2/computation/cprs_cprs.ma
matita/matita/contribs/lambda_delta/Basic_2/computation/cprs_tstc.ma
matita/matita/contribs/lambda_delta/Basic_2/computation/cprs_tstc_vector.ma
matita/matita/contribs/lambda_delta/Basic_2/computation/csn_lcpr.ma
matita/matita/contribs/lambda_delta/Basic_2/computation/csn_lcpr_vector.ma
matita/matita/contribs/lambda_delta/Basic_2/grammar/tstc.ma
matita/matita/contribs/lambda_delta/Basic_2/reducibility/cpr_cpr.ma