]> matita.cs.unibo.it Git - helm.git/commit
basic properties of cpr ...
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 4 Jul 2016 21:06:25 +0000 (21:06 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 4 Jul 2016 21:06:25 +0000 (21:06 +0000)
commitb6e1db4f1b0f1d5121f2b214562f96c5b0fa544e
tree14be97ca558fe5834c64a9858e83ed594af64169
parent0e2836b432e8d1a10262836e160a5dd3cfb82c1e
basic properties of cpr ...
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpm.ma
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpr.etc [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpr.ma
matita/matita/contribs/lambdadelta/basic_2/rt_transition/partial.txt
matita/matita/contribs/lambdadelta/ground_2/lib/arith.ma
matita/matita/contribs/lambdadelta/ground_2/steps/rtc_max.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground_2/steps/rtc_plus.ma