]>
matita.cs.unibo.it Git - helm.git/blobdiff - matita/matita/contribs/lambdadelta/bin/recomm/bGroundArith.mrc
--- /dev/null
+PcsAnd b "" true false
+niter
+ntri
+nsucc
+npred
+nplus
+nminus
+nmax
+nle
+nlt
+ysucc
+ypred
+yplus
+ylminus, yminus
+yle
+ylt