author | haftmann |
Tue, 24 Nov 2009 17:28:25 +0100 | |
changeset 33955 | fff6f11b1f09 |
parent 32466 | a393b7e2a2f8 |
child 34169 | 7501b2910900 |
permissions | -rw-r--r-- |
28495 | 1 |
/* Title: Pure/Thy/thy_header.scala |
2 |
Author: Makarius |
|
3 |
||
4 |
Theory header keywords. |
|
5 |
*/ |
|
6 |
||
7 |
package isabelle |
|
8 |
||
9 |
||
32466 | 10 |
object Thy_Header |
32450 | 11 |
{ |
28495 | 12 |
val HEADER = "header" |
13 |
val THEORY = "theory" |
|
14 |
val IMPORTS = "imports" |
|
15 |
val USES = "uses" |
|
16 |
val BEGIN = "begin" |
|
17 |
||
18 |
val keywords = List("%", "(", ")", ";", BEGIN, HEADER, IMPORTS, THEORY, USES) |
|
19 |
} |