39 "thy_heading4" => "theory-heading", |
39 "thy_heading4" => "theory-heading", |
40 "thy_load" => "theory-decl", |
40 "thy_load" => "theory-decl", |
41 "thy_decl" => "theory-decl", |
41 "thy_decl" => "theory-decl", |
42 "thy_script" => "theory-script", |
42 "thy_script" => "theory-script", |
43 "thy_goal" => "theory-goal", |
43 "thy_goal" => "theory-goal", |
44 "thy_schematic_goal" => "theory-goal", |
|
45 "qed_block" => "qed-block", |
44 "qed_block" => "qed-block", |
46 "qed_global" => "qed-global", |
45 "qed_global" => "qed-global", |
47 "prf_heading2" => "proof-heading", |
46 "prf_heading2" => "proof-heading", |
48 "prf_heading3" => "proof-heading", |
47 "prf_heading3" => "proof-heading", |
49 "prf_heading4" => "proof-heading", |
48 "prf_heading4" => "proof-heading", |