lib/scripts/keywords
changeset 48864 3ee314ae1e0a
parent 46969 481b7d9ad6fe
child 50714 2af9e4614ba4
equal deleted inserted replaced
48863:881e8a96e617 48864:3ee314ae1e0a
    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",