isabelle

object Thy_Header

[source: isabelle/Thy_Header.scala]

object Thy_Header
extends AnyRef
Value Summary
val BEGIN : java.lang.String
val HEADER : java.lang.String
val IMPORTS : java.lang.String
val THEORY : java.lang.String
val USES : java.lang.String
val keywords : scala.List[java.lang.String]
Methods inherited from AnyRef
getClass, hashCode, equals, clone, toString, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized
Methods inherited from Any
==, !=, isInstanceOf, asInstanceOf
Value Details
val HEADER : java.lang.String

val THEORY : java.lang.String

val IMPORTS : java.lang.String

val USES : java.lang.String

val BEGIN : java.lang.String

val keywords : scala.List[java.lang.String]