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

   1 name "apps_2_src"
   2
   3 table {
   4    class "grey"
   5    [ { "component" * } {
   6         [ { "plane" * } {
   7              [ "files" * ]
   8           }
   9         ]
  10      }
  11    ]
  12    class "orange"
  13    [ { "MLTT1" * } {
  14         [ { "" * } {
  15              [ "genv_primitive" "judgement" * ]
  16           }
  17         ]
  18      }
  19    ]
  20    class "red"
  21    [ { "functional" * } {
  22         [ { "reduction and type machine" * } {
  23              [ "rtm" "rtm_step ( ? ⇨ ? )" * ]
  24           }
  25         ]
  26         [ { "unfold" * } {
  27              [ "lift ( ↑[?,?] ? )" "subst ( [?←?] ? )" * ]
  28           }
  29         ]
  30      }
  31    ]
  32 }
  33
  34 class "component" { 0 }
  35
  36 class "plane" { 1 }
  37
  38 class "file" { 2 * }