matita/matita/contribs/lambdadelta/ground_2/web/ground_2_src.tbl

   1 name "ground_2_src"
   2
   3 table {
   4    class "grey"
   5    [ { "plane" * } {
   6         [ "files" * ]
   7      }
   8    ]
   9    class "orange"
  10    [ { "natural numbers with infinity" * } {
  11         [ "ynat ( ∞ )" "ynat_pred ( ⫰? )" "ynat_succ ( ⫯? )" "ynat_le ( ?≤? )" "ynat_lt ( ?&lt;? )" * ]
  12      }
  13    ]
  14    class "red"
  15    [ { "" * } {
  16         [ "" * ]
  17      }
  18    ]
  19 }
  20
  21 class "plane" { 0 }
  22
  23 class "file" { 1 * }