src/Pure/Thy/thy_header.scala

more direct access to naming;
tuned signature;

/*  Title:      Pure/Thy/thy_header.scala
    Author:     Makarius

Theory header keywords.
*/

package isabelle


object Thy_Header
{
  val HEADER = "header"
  val THEORY = "theory"
  val IMPORTS = "imports"
  val USES = "uses"
  val BEGIN = "begin"

  val keywords = List("%", "(", ")", ";", BEGIN, HEADER, IMPORTS, THEORY, USES)
}