author | wenzelm |
Sat, 13 Dec 2008 15:00:39 +0100 | |
changeset 29091 | b81fe045e799 |
parent 28495 | c5f86d04743b |
child 29140 | e7ac5bb20aed |
permissions | -rw-r--r-- |
/* Title: Pure/Thy/thy_header.scala ID: $Id$ Author: Makarius Theory header keywords. */ package isabelle object ThyHeader { val HEADER = "header" val THEORY = "theory" val IMPORTS = "imports" val USES = "uses" val BEGIN = "begin" val keywords = List("%", "(", ")", ";", BEGIN, HEADER, IMPORTS, THEORY, USES) }