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

   1 PccFor r "" true false
   2 BASIC ELEMENTS
   3 DISJOINTNESS
   4 DIVERGENCE CONDITION
   5 FINITE COLENGTH ASSIGNMENT
   6 FINITE COLENGTH CONDITION
   7 IDENTITY CONDITION
   8 IDENTITY ELEMENT
   9 INCLUSION
  10 ITERATED PUSH
  11 ITERATED NEXT
  12 NON-NEGATIVE APPLICATION
  13 POSITIVE APPLICATION
  14 RELATIONAL CO-COMPOSITION
  15 RELATIONAL COMPOSITION
  16 RELATIONAL INTERSECTION
  17 RELATIONAL SUBTRACTION
  18 RELATIONAL UNION
  19 TOTALITY CONDITION
  20 UNIFORM ELEMENTS
  21 UNIFORMITY CONDITION