author | wenzelm |
Sat, 04 Oct 2008 14:29:42 +0200 | |
changeset 28495 | c5f86d04743b |
child 29140 | e7ac5bb20aed |
permissions | -rw-r--r-- |
28495 | 1 |
/* Title: Pure/Thy/thy_header.scala |
2 |
ID: $Id$ |
|
3 |
Author: Makarius |
|
4 |
||
5 |
Theory header keywords. |
|
6 |
*/ |
|
7 |
||
8 |
package isabelle |
|
9 |
||
10 |
object ThyHeader { |
|
11 |
||
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 |
} |