Scala 2
|
|
isabelle/OuterKeyword.scala
]
object
OuterKeyword
extends
AnyRefMethods 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]
Scala 2
|
|