equal
deleted
inserted
replaced
40 /* categories */ |
40 /* categories */ |
41 |
41 |
42 val minor = Set(MINOR) |
42 val minor = Set(MINOR) |
43 val control = Set(CONTROL) |
43 val control = Set(CONTROL) |
44 val diag = Set(DIAG) |
44 val diag = Set(DIAG) |
45 val heading = Set(THY_HEADING, PRF_HEADING) |
|
46 val theory = |
45 val theory = |
47 Set(THY_BEGIN, THY_SWITCH, THY_END, THY_HEADING, THY_DECL, THY_SCRIPT, |
46 Set(THY_BEGIN, THY_SWITCH, THY_END, THY_HEADING, THY_DECL, THY_SCRIPT, |
48 THY_GOAL, THY_SCHEMATIC_GOAL) |
47 THY_GOAL, THY_SCHEMATIC_GOAL) |
49 val theory1 = Set(THY_BEGIN, THY_SWITCH, THY_END) |
48 val theory1 = Set(THY_BEGIN, THY_SWITCH, THY_END) |
50 val theory2 = Set(THY_DECL, THY_GOAL) |
49 val theory2 = Set(THY_DECL, THY_GOAL) |