]> matita.cs.unibo.it Git - helm.git/commit
more results on strongly normalizing terms
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 18 Feb 2012 19:16:56 +0000 (19:16 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 18 Feb 2012 19:16:56 +0000 (19:16 +0000)
commit0ea1af833c4fd9205f047072518e1aabf7987945
tree027a804efcf8ddd5e875e0f2ed3bf9621b2e976c
parentef3bdc4be26f6518a82a79c64e986253f7aeaa3c
more results on strongly normalizing terms
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/csn_cprs.ma
matita/matita/contribs/lambda_delta/Basic_2/computation/csn_lcpr.ma
matita/matita/contribs/lambda_delta/Basic_2/computation/csn_lift.ma
matita/matita/contribs/lambda_delta/Basic_2/reducibility/cnf.ma