src/Pure/Thy/thy_header.scala
author wenzelm
Mon Nov 02 20:50:48 2009 +0100 (2009-11-02)
changeset 33388 d64545e6cba5
parent 32466 a393b7e2a2f8
child 34169 7501b2910900
permissions -rw-r--r--
modernized structure Proof_Syntax;
wenzelm@28495
     1
/*  Title:      Pure/Thy/thy_header.scala
wenzelm@28495
     2
    Author:     Makarius
wenzelm@28495
     3
wenzelm@28495
     4
Theory header keywords.
wenzelm@28495
     5
*/
wenzelm@28495
     6
wenzelm@28495
     7
package isabelle
wenzelm@28495
     8
wenzelm@28495
     9
wenzelm@32466
    10
object Thy_Header
wenzelm@32450
    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
}