| changeset 40459 | 913e545d9a9b |
| parent 40456 | e91b3c2145b4 |
| child 45666 | d83797ef0d2d |
--- a/src/Pure/Isar/keyword.scala Wed Nov 10 15:43:06 2010 +0100 +++ b/src/Pure/Isar/keyword.scala Wed Nov 10 15:47:56 2010 +0100 @@ -42,7 +42,6 @@ val minor = Set(MINOR) val control = Set(CONTROL) val diag = Set(DIAG) - val heading = Set(THY_HEADING, PRF_HEADING) val theory = Set(THY_BEGIN, THY_SWITCH, THY_END, THY_HEADING, THY_DECL, THY_SCRIPT, THY_GOAL, THY_SCHEMATIC_GOAL)