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