]> matita.cs.unibo.it Git - helm.git/commit
even more service lemmas ...
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 7 Feb 2013 18:58:52 +0000 (18:58 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 7 Feb 2013 18:58:52 +0000 (18:58 +0000)
commit06fae7628917399b6ceabace25607d6aafab0040
treeabd56e6414c7ad36d5ba0bec37e5b0ef3637179d
parentfce70f3556b1b8eab9655006fe2e6928948f3a99
even more service lemmas ...
matita/matita/contribs/lambdadelta/basic_2/computation/fprs_cprs.ma
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_ltpr.ma
matita/matita/contribs/lambdadelta/basic_2/equivalence/fpcs_cpcs.ma
matita/matita/contribs/lambdadelta/basic_2/reducibility/cpr_lift.ma
matita/matita/contribs/lambdadelta/basic_2/reducibility/fpr_cpr.ma
matita/matita/contribs/lambdadelta/basic_2/reducibility/tpr.ma
matita/matita/contribs/lambdadelta/basic_2/reducibility/tpr_lift.ma