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;
     1 /*  Title:      Pure/Thy/thy_header.scala
     2     Author:     Makarius
     3 
     4 Theory header keywords.
     5 */
     6 
     7 package isabelle
     8 
     9 
    10 object Thy_Header
    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 }