isabelle

object OuterKeyword

[source: isabelle/OuterKeyword.scala]

object OuterKeyword
extends AnyRef
Value Summary
val CONTROL : java.lang.String
val DIAG : java.lang.String
val MINOR : java.lang.String
val PRF_ASM : java.lang.String
val PRF_ASM_GOAL : java.lang.String
val PRF_BLOCK : java.lang.String
val PRF_CHAIN : java.lang.String
val PRF_CLOSE : java.lang.String
val PRF_DECL : java.lang.String
val PRF_GOAL : java.lang.String
val PRF_HEADING : java.lang.String
val PRF_OPEN : java.lang.String
val PRF_SCRIPT : java.lang.String
val QED : java.lang.String
val QED_BLOCK : java.lang.String
val QED_GLOBAL : java.lang.String
val THY_BEGIN : java.lang.String
val THY_DECL : java.lang.String
val THY_END : java.lang.String
val THY_GOAL : java.lang.String
val THY_HEADING : java.lang.String
val THY_SCRIPT : java.lang.String
val THY_SWITCH : java.lang.String
val control : scala.collection.immutable.Set[java.lang.String]
val diag : scala.collection.immutable.Set[java.lang.String]
val heading : scala.collection.immutable.Set[java.lang.String]
val improper : scala.collection.immutable.Set[java.lang.String]
val minor : scala.collection.immutable.Set[java.lang.String]
val proof1 : scala.collection.immutable.Set[java.lang.String]
val proof2 : scala.collection.immutable.Set[java.lang.String]
val theory1 : scala.collection.immutable.Set[java.lang.String]
val theory2 : scala.collection.immutable.Set[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 MINOR : java.lang.String

val CONTROL : java.lang.String

val DIAG : java.lang.String

val THY_BEGIN : java.lang.String

val THY_SWITCH : java.lang.String

val THY_END : java.lang.String

val THY_HEADING : java.lang.String

val THY_DECL : java.lang.String

val THY_SCRIPT : java.lang.String

val THY_GOAL : java.lang.String

val QED : java.lang.String

val QED_BLOCK : java.lang.String

val QED_GLOBAL : java.lang.String

val PRF_HEADING : java.lang.String

val PRF_GOAL : java.lang.String

val PRF_BLOCK : java.lang.String

val PRF_OPEN : java.lang.String

val PRF_CLOSE : java.lang.String

val PRF_CHAIN : java.lang.String

val PRF_DECL : java.lang.String

val PRF_ASM : java.lang.String

val PRF_ASM_GOAL : java.lang.String

val PRF_SCRIPT : java.lang.String

val minor : scala.collection.immutable.Set[java.lang.String]

val control : scala.collection.immutable.Set[java.lang.String]

val diag : scala.collection.immutable.Set[java.lang.String]

val heading : scala.collection.immutable.Set[java.lang.String]

val theory1 : scala.collection.immutable.Set[java.lang.String]

val theory2 : scala.collection.immutable.Set[java.lang.String]

val proof1 : scala.collection.immutable.Set[java.lang.String]

val proof2 : scala.collection.immutable.Set[java.lang.String]

val improper : scala.collection.immutable.Set[java.lang.String]