src/Pure/Thy/thy_header.scala
author wenzelm
Sat Oct 04 14:29:42 2008 +0200 (2008-10-04)
changeset 28495 c5f86d04743b
child 29140 e7ac5bb20aed
permissions -rw-r--r--
Theory header keywords.
wenzelm@28495
     1
/*  Title:      Pure/Thy/thy_header.scala
wenzelm@28495
     2
    ID:         $Id$
wenzelm@28495
     3
    Author:     Makarius
wenzelm@28495
     4
wenzelm@28495
     5
Theory header keywords.
wenzelm@28495
     6
*/
wenzelm@28495
     7
wenzelm@28495
     8
package isabelle
wenzelm@28495
     9
wenzelm@28495
    10
object ThyHeader {
wenzelm@28495
    11
wenzelm@28495
    12
  val HEADER = "header"
wenzelm@28495
    13
  val THEORY = "theory"
wenzelm@28495
    14
  val IMPORTS = "imports"
wenzelm@28495
    15
  val USES = "uses"
wenzelm@28495
    16
  val BEGIN = "begin"
wenzelm@28495
    17
wenzelm@28495
    18
  val keywords = List("%", "(", ")", ";", BEGIN, HEADER, IMPORTS, THEORY, USES)
wenzelm@28495
    19
}