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