milestone update in ground

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

diff --git a/matita/matita/contribs/lambdadelta/bin/recomm/rGroundRelocation.mrc b/matita/matita/contribs/lambdadelta/bin/recomm/rGroundRelocation.mrc
new file mode 100644 (file)
index 0000000..5a72cf5
--- /dev/null
+++ b/matita/matita/contribs/lambdadelta/bin/recomm/rGroundRelocation.mrc
@@ -0,0 +1,21 @@
+PccFor r "" true false
+BASIC ELEMENTS
+DISJOINTNESS
+DIVERGENCE CONDITION
+FINITE COLENGTH ASSIGNMENT
+FINITE COLENGTH CONDITION
+IDENTITY CONDITION
+IDENTITY ELEMENT
+INCLUSION
+ITERATED PUSH
+ITERATED NEXT
+NON-NEGATIVE APPLICATION
+POSITIVE APPLICATION
+RELATIONAL CO-COMPOSITION
+RELATIONAL COMPOSITION
+RELATIONAL INTERSECTION
+RELATIONAL SUBTRACTION
+RELATIONAL UNION
+TOTALITY CONDITION
+UNIFORM ELEMENTS
+UNIFORMITY CONDITION