author | haftmann |
Thu, 22 Oct 2009 16:52:06 +0200 | |
changeset 33078 | 3aea60ca3900 |
parent 32466 | a393b7e2a2f8 |
child 34169 | 7501b2910900 |
permissions | -rw-r--r-- |
/* 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) }