+++ /dev/null
-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 }