35 "thy_end" => "theory-end", |
35 "thy_end" => "theory-end", |
36 "thy_heading1" => "theory-heading", |
36 "thy_heading1" => "theory-heading", |
37 "thy_heading2" => "theory-heading", |
37 "thy_heading2" => "theory-heading", |
38 "thy_heading3" => "theory-heading", |
38 "thy_heading3" => "theory-heading", |
39 "thy_heading4" => "theory-heading", |
39 "thy_heading4" => "theory-heading", |
|
40 "thy_load" => "theory-decl", |
40 "thy_decl" => "theory-decl", |
41 "thy_decl" => "theory-decl", |
41 "thy_script" => "theory-script", |
42 "thy_script" => "theory-script", |
42 "thy_goal" => "theory-goal", |
43 "thy_goal" => "theory-goal", |
43 "thy_schematic_goal" => "theory-goal", |
44 "thy_schematic_goal" => "theory-goal", |
44 "qed_block" => "qed-block", |
45 "qed_block" => "qed-block", |