| changeset 32450 | 375db037f4d2 |
| parent 29140 | e7ac5bb20aed |
| child 32466 | a393b7e2a2f8 |
| 32449:696d64ed85da | 32450:375db037f4d2 |
|---|---|
4 Theory header keywords. |
4 Theory header keywords. |
5 */ |
5 */ |
6 |
6 |
7 package isabelle |
7 package isabelle |
8 |
8 |
9 object ThyHeader { |
|
10 |
9 |
10 object ThyHeader |
|
11 { |
|
11 val HEADER = "header" |
12 val HEADER = "header" |
12 val THEORY = "theory" |
13 val THEORY = "theory" |
13 val IMPORTS = "imports" |
14 val IMPORTS = "imports" |
14 val USES = "uses" |
15 val USES = "uses" |
15 val BEGIN = "begin" |
16 val BEGIN = "begin" |