35 "thy_end" => "theoryend", 
35 "thy_end" => "theoryend", 
36 "thy_heading1" => "theoryheading", 
36 "thy_heading1" => "theoryheading", 
37 "thy_heading2" => "theoryheading", 
37 "thy_heading2" => "theoryheading", 
38 "thy_heading3" => "theoryheading", 
38 "thy_heading3" => "theoryheading", 
39 "thy_heading4" => "theoryheading", 
39 "thy_heading4" => "theoryheading", 

40 "thy_load" => "theorydecl", 
40 "thy_decl" => "theorydecl", 
41 "thy_decl" => "theorydecl", 
41 "thy_script" => "theoryscript", 
42 "thy_script" => "theoryscript", 
42 "thy_goal" => "theorygoal", 
43 "thy_goal" => "theorygoal", 
43 "thy_schematic_goal" => "theorygoal", 
44 "thy_schematic_goal" => "theorygoal", 
44 "qed_block" => "qedblock", 
45 "qed_block" => "qedblock", 