matita/matita/contribs/lambdadelta/apps_2/web/apps_2_src.tbl

   1 name "apps_2_src"
   2
   3 table {
   4    class "gray"
   5    [ { "component" * } {
   6         [ { "plane" * } {
   7              [ "files" * ]
   8           }
   9         ]
  10      }
  11    ]
  12 (*
  13    class "yellow"
  14    [ { "MLTT1" * } {
  15         [ { "" * } {
  16              [ "genv_primitive" "judgment" * ]
  17           }
  18         ]
  19      }
  20    ]
  21 *)
  22 (*
  23    class "orange"
  24    [ { "functional" * } {
  25         [ { "reduction and type machine" * } {
  26              [ "rtm" "rtm_step ( ? ⇨ ? )" * ]
  27           }
  28         ]
  29         [ { "relocation" * } {
  30              [ "lift ( ↑[?,?] ? )" * ]
  31           }
  32         ]
  33      }
  34    ]
  35    class "red"
  36    [ { "examples" * } {
  37         [ { "terms with special features" * } {
  38              [ "ex_sta_ldec" + "ex_cpr_omega" + "ex_fpbg_refl" + "ex_snv_eta" * ]
  39           }
  40         ]
  41      }
  42    ]
  43 *)
  44 }
  45
  46 class "top"               { * }
  47
  48 class "capitalize italic" { 0 }
  49
  50 class "italic"            { 1 }