]> matita.cs.unibo.it Git - helm.git/commit
old pr2_subst1 (Basic-1) closed!
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 25 Oct 2011 12:21:04 +0000 (12:21 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 25 Oct 2011 12:21:04 +0000 (12:21 +0000)
commit55472556fddad19323a80bda2ff8d9e6dc8a8f38
tree479d8898d039ce803f9e37788bd6e51264d8ad04
parent0e3d8e00433a9a4dd72310c1e889814848a96c10
old pr2_subst1 (Basic-1) closed!
matita/matita/contribs/lambda_delta/Basic_2/Basic_1.txt
matita/matita/contribs/lambda_delta/Basic_2/reduction/cpr.ma
matita/matita/contribs/lambda_delta/Basic_2/reduction/cpr_ltpr.ma [new file with mode: 0644]
matita/matita/contribs/lambda_delta/Basic_2/reduction/ltpr.ma
matita/matita/contribs/lambda_delta/Basic_2/reduction/tpr_tpss.ma