]>
matita.cs.unibo.it Git - helm.git/blobdiff - matita/matita/contribs/lambdadelta/bin/recomm/rGroundArith.mrc
NAT-INJECTION
SUCCESSOR
PREDECESSOR
NAT-INJECTION
SUCCESSOR
PREDECESSOR
ADDITION
SUBTRACTION
LEFT SUBTRACTION
ADDITION
SUBTRACTION
LEFT SUBTRACTION