matita/matita/contribs/lambdadelta/bin/recomm/rGroundArith.mrc

   1 PccFor r "" true false
   2 DISCRIMINATOR
   3 ITERATED FUNCTION
   4 TRICHOTOMY OPERATOR
   5 NAT-INJECTION
   6 SUCCESSOR
   7 PREDECESSOR
   8 RIGHT ADDITION
   9 ADDITION
  10 SUBTRACTION
  11 LEFT SUBTRACTION
  12 MAXIMUM
  13 ORDER
  14 STRICT ORDER
  15 ARITHMETICAL PROPERTIES