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 "green"
  13    [ { "multiple relocation" * } {
  14         [ { "" * } {
  15              [ "trace ( ∥?∥ )" "trace_at ( @⦃?,?⦄ ≡ ? )" "trace_after ( ? ⊚ ? ≡ ? )" "trace_isid ( 𝐈⦃?⦄ )" "trace_sor ( ? ⋓ ? ≡ ? )" * ]
  16              [ "mr2" "mr2_at ( @⦃?,?⦄ ≡ ? )" "mr2_plus ( ? + ? )" "mr2_minus ( ? ▭ ? ≡ ? )" * ]
  17           }
  18         ]
  19      }
  20    ]
  21    class "grass"
  22    [ { "natural numbers with infinity" * } {
  23         [ { "" * } {
  24            [ "ynat ( ∞ )" "ynat_pred ( ⫰? )" "ynat_succ ( ⫯? )"
  25              "ynat_le ( ? ≤ ? )" "ynat_lt ( ? &lt; ? )"
  26              "ynat_plus ( ? + ? )" *
  27            ]
  28           }
  29         ]
  30      }
  31    ]
  32    class "yellow"
  33    [ { "extensions to the library" * } {
  34         [ { "" * } {
  35              [ "star" "lstar" "bool ( Ⓕ ) ( Ⓣ )" "arith ( ?^? ) ( ⫯? ) ( ⫰? )"
  36                "list ( ◊ ) ( ? @ ? ) ( |?| )" "list2 ( ◊ ) ( {?,?} @ ? ) ( ? @@ ? ) ( |?| )" *
  37              ]
  38           }
  39         ]
  40      }
  41    ]
  42    class "orange"
  43    [ { "generated logical decomposables" * } {
  44         [ { "" * } {
  45              [ "xoa ( ∃∃ ) ( ∨∨ ) ( ∧∧ )" "xoa_props ( ⊥ ) ( ⊤ )" * ]
  46           }
  47         ]
  48      }
  49    ]
  50    class "red"
  51    [ { "" * } {
  52         [ { "" * } {
  53              [ * ]
  54           }
  55         ]
  56      }
  57    ]
  58 }
  59
  60 class "top"               { * }
  61
  62 class "capitalize italic" { 0 }
  63
  64 class "italic"            { 1 }