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

   1 name "ground_2_src"
   2
   3 table {
   4    class "gray"
   5    [ { "component" * } {
   6         [ { "plane" * } {
   7              [ "files" * ]
   8           }
   9         ]
  10      }
  11    ]
  12    class "grass"
  13    [ { "natural numbers with infinity" * } {
  14         [ { "" * } {
  15            [ "ynat ( ∞ )" "ynat_pred ( ⫰? )" "ynat_succ ( ⫯? )"
  16              "ynat_le ( ? ≤ ? )" "ynat_lt ( ? &lt; ? )"
  17              "ynat_minus ( ? - ? )" "ynat_plus ( ? + ? )"
  18              "ynat_max" "ynat_min" *
  19            ]
  20           }
  21         ]
  22      }
  23    ]
  24    class "yellow"
  25    [ { "extensions to the library" * } {
  26         [ { "" * } {
  27              [ "star" "lstar" "bool ( Ⓕ ) ( Ⓣ )" "arith ( ?^? )"
  28                "list ( ◊ ) ( ? @ ? ) ( {?,?} @ ? ) ( ? @@ ? ) ( |?| )" *
  29              ]
  30           }
  31         ]
  32      }
  33    ]
  34    class "orange"
  35    [ { "generated logical decomposables" * } {
  36         [ { "" * } {
  37              [ "xoa ( ∃∃ ) ( ∨∨ ) ( ∧∧ )" "xoa_props ( ⊥ ) ( ⊤ )" * ]
  38           }
  39         ]
  40      }
  41    ]
  42    class "red"
  43    [ { "" * } {
  44         [ { "" * } {
  45              [ * ]
  46           }
  47         ]
  48      }
  49    ]
  50 }
  51
  52 class "top"               { * }
  53
  54 class "capitalize italic" { 0 }
  55
  56 class "italic"            { 1 }