update in ground

[helm.git] / matita / matita / contribs / lambdadelta / bin / recomm / rGroundArith.mrc

diff --git a/matita/matita/contribs/lambdadelta/bin/recomm/rGroundArith.mrc b/matita/matita/contribs/lambdadelta/bin/recomm/rGroundArith.mrc
new file mode 100644 (file)
index 0000000..bfc2730
--- /dev/null
+++ b/matita/matita/contribs/lambdadelta/bin/recomm/rGroundArith.mrc
@@ -0,0 +1,14 @@
+PccFor r "" true false
+DISCRIMINATOR
+ITERATED FUNCTION
+TRICHOTOMY OPERATOR
+NAT-INJECTION
+SUCCESSOR
+PREDECESSOR
+ADDITION
+SUBTRACTION
+LEFT SUBTRACTION
+MAXIMUM, MAXIMUN
+ORDER
+STRICT ORDER
+ARITHMETICAL PROPERTIES