object
Keyword
Type Members
-
-
type
Spec = ((String, List[String]), List[String])
Value Members
-
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
-
final
def
==(arg0: Any): Boolean
-
val
DIAG: String
-
val
DOCUMENT_BODY: String
-
val
DOCUMENT_HEADING: String
-
val
DOCUMENT_RAW: String
-
-
val
NEXT_BLOCK: String
-
val
PRF_ASM: String
-
val
PRF_ASM_GOAL: String
-
val
PRF_BLOCK: String
-
val
PRF_CHAIN: String
-
val
PRF_CLOSE: String
-
val
PRF_DECL: String
-
val
PRF_GOAL: String
-
val
PRF_OPEN: String
-
val
PRF_SCRIPT: String
-
val
PRF_SCRIPT_ASM_GOAL: String
-
val
PRF_SCRIPT_GOAL: String
-
val
QED: String
-
val
QED_BLOCK: String
-
val
QED_GLOBAL: String
-
val
QED_SCRIPT: String
-
val
THY_BEGIN: String
-
val
THY_DECL: String
-
val
THY_DECL_BLOCK: String
-
val
THY_END: String
-
val
THY_GOAL: String
-
val
THY_LOAD: String
-
final
def
asInstanceOf[T0]: T0
-
def
clone(): AnyRef
-
val
diag: Set[String]
-
val
document: Set[String]
-
val
document_body: Set[String]
-
val
document_heading: Set[String]
-
val
document_raw: Set[String]
-
-
-
def
finalize(): Unit
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
final
def
isInstanceOf[T0]: Boolean
-
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
val
proof: Set[String]
-
val
proof_body: Set[String]
-
val
proof_close: Set[String]
-
val
proof_goal: Set[String]
-
val
proof_open: Set[String]
-
val
qed: Set[String]
-
val
qed_global: Set[String]
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
val
theory: Set[String]
-
val
theory_begin: Set[String]
-
val
theory_block: Set[String]
-
val
theory_body: Set[String]
-
val
theory_end: Set[String]
-
val
theory_goal: Set[String]
-
val
theory_load: Set[String]
-
def
toString(): String
-
val
vacous: Set[String]
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit