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

   1 name "ground_2_src"
   2
   3 table {
   4    class "gray"
   5    [ { "plane" * } {
   6         [ "files" * ]
   7      }
   8    ]
   9    class "yellow"
  10    [ { "natural numbers with infinity" * } {
  11         [ "ynat ( ∞ )" "ynat_pred ( ⫰? )" "ynat_succ ( ⫯? )"
  12           "ynat_le ( ?≤? )" "ynat_lt ( ?&lt;? )"
  13           "ynat_minus ( ? - ? )" "ynat_plus ( ? + ? )"
  14           "ynat_max" "ynat_min" * ]
  15      }
  16    ]
  17    class "orange"
  18    [ { "extensions to the library" * } {
  19         [ "arith.ma ( ?^? )" * ]
  20      }
  21    ]
  22    class "red"
  23    [ { "generated logical decomposables" * } {
  24         [ "xoa ( ∃∃ ) ( ∨∨ ) ( ∧∧ )" "xoa_props ( ⊥ ) ( ⊤ )" * ]
  25      }
  26    ]
  27 }
  28
  29 class "top"    { * }
  30
  31 class "italic" { 0 }