name "ground_1_src"

table uri "static/coq/lambdadelta/ground_1/" ext ".txt" {
   class "gray"
   [ { "component" * } {
        [ { "plane" * } {
             [ "files" * ]
          }
        ]
     }
   ]
   class "grass"
   [ { "multiple relocation" * } {
        [ { "" * } {
             [ @@"bg_plist" * ]
          }
        ]
     }
   ]
   class "yellow"
   [ { "extensions to the library" * } {
        [ { "" * } {
             [ @@"bg_hints" @@"bg_blt" * ]
          }
        ]
     }
   ]
   class "orange"
   [ { "generated logical decomposables" * } {
        [ { "" * } {
             [ @@"bg_types" @@"bg_props" * ]
          }
        ]
     }
   ]
   class "red"
   [ { "preamble" * } {
        [ { "" * } {
             [ @@"bg_require" @@"bg_rewrite" @@"bg_tactics" @@"bg_subst" * ]
          }
        ]
     }
   ]
}

class "top"               { * }

class "capitalize italic" { 0 }

class "italic"            { 1 }