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 "yellow"
  10    [ { "natural numbers with infinity" * } {
  11         [ "ynat ( ∞ )" "ynat_pred ( ⫰? )" "ynat_succ ( ⫯? )" "ynat_le ( ?≤? )" "ynat_lt ( ?&lt;? )" "ynat_minus ( ? - ? )" "ynat_plus ( ? + ? )" "ynat_max" "ynat_min" * ]
  12      }
  13    ]
  14    class "orange"
  15    [ { "extensions to the library" * } {
  16         [ "arith.ma ( ?^? )" * ]
  17      }
  18    ]
  19    class "red"
  20    [ { "generated logical decomposables" * } {
  21         [ "xoa ( ∃∃ ) ( ∨∨ ) ( ∧∧ )" "xoa_props ( ⊥ ) ( ⊤ )" * ]
  22      }
  23    ]
  24 }
  25
  26 class "plane" { 0 }
  27
  28 class "file" { 1 * }