]> matita.cs.unibo.it Git - helm.git/commit
important update in basic_2: cpr is not antisymmetric
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 4 Jul 2014 18:10:03 +0000 (18:10 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 4 Jul 2014 18:10:03 +0000 (18:10 +0000)
commitf8bf3abd773864388fef5efe599ac77f292a6b9d
tree4ce292dd32d3171a75d7293a590802367cea0f2e
parent127be10fa95b5b347887241e046d72e432944e61
important update in basic_2: cpr is not antisymmetric
helm/www/lambdadelta/BTM.html
helm/www/lambdadelta/apps_2.html
helm/www/lambdadelta/basic_2.html
helm/www/lambdadelta/ground_2.html