Keyword

Type Members

class Keywords extends AnyRef
type Spec = ((String, List[String]), List[String])

keyword tables *

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
val BEFORE_COMMAND: String
val DIAG: String

keyword classification *
val DOCUMENT_BODY: String
val DOCUMENT_HEADING: String
val DOCUMENT_RAW: String
object Keywords
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 QUASI_COMMAND: 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

Definition Classes
Any
val before_command_spec: Spec
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
val close_structure: Set[String]
val diag: Set[String]
val document: Set[String]
val document_body: Set[String]
val document_heading: Set[String]
val document_raw: Set[String]
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
val no_spec: Spec
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
val prf_script: Set[String]
val proof: Set[String]
val proof_body: Set[String]
val proof_close: Set[String]
val proof_enclose: Set[String]
val proof_goal: Set[String]
val proof_open: Set[String]
val qed: Set[String]
val qed_global: Set[String]
val quasi_command_spec: Spec
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
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

Definition Classes
AnyRef → Any
val vacous: Set[String]
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

Related Doc: package isabelle

object Keyword

Type Members

class Keywords extends AnyRef

type Spec = ((String, List[String]), List[String])

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

val BEFORE_COMMAND: String

val DIAG: String

val DOCUMENT_BODY: String

val DOCUMENT_HEADING: String

val DOCUMENT_RAW: String

object Keywords

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 QUASI_COMMAND: 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

val before_command_spec: Spec

def clone(): AnyRef

val close_structure: Set[String]

val diag: Set[String]

val document: Set[String]

val document_body: Set[String]

val document_heading: Set[String]

val document_raw: Set[String]

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

val no_spec: Spec

final def notify(): Unit

final def notifyAll(): Unit

val prf_script: Set[String]

val proof: Set[String]

val proof_body: Set[String]

val proof_close: Set[String]

val proof_enclose: Set[String]

val proof_goal: Set[String]

val proof_open: Set[String]

val qed: Set[String]

val qed_global: Set[String]

val quasi_command_spec: Spec

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