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

   1 PcsAnd b "" true false
   2 psucc
   3 ppred
   4 pplus
   5 ple
   6 plt
   7 niter
   8 ntri
   9 npsucc
  10 nsucc
  11 npred
  12 nrplus, rplus
  13 nplus
  14 nminus
  15 nmax
  16 nle
  17 nlt
  18 ysucc
  19 ypred
  20 yplus
  21 ylminus, yminus
  22 yle
  23 ylt