Packages

o

isabelle

Keyword

object Keyword

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Keyword
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. class Keywords extends AnyRef
  2. sealed case class Spec(kind: String, exts: List[String] = Nil, tags: List[String] = Nil) extends Product with Serializable

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. val BEFORE_COMMAND: String
  5. val DIAG: String

    keyword classification *

  6. val DOCUMENT_BODY: String
  7. val DOCUMENT_HEADING: String
  8. val DOCUMENT_RAW: String
  9. val NEXT_BLOCK: String
  10. val PRF_ASM: String
  11. val PRF_ASM_GOAL: String
  12. val PRF_BLOCK: String
  13. val PRF_CHAIN: String
  14. val PRF_CLOSE: String
  15. val PRF_DECL: String
  16. val PRF_GOAL: String
  17. val PRF_OPEN: String
  18. val PRF_SCRIPT: String
  19. val PRF_SCRIPT_ASM_GOAL: String
  20. val PRF_SCRIPT_GOAL: String
  21. val QED: String
  22. val QED_BLOCK: String
  23. val QED_GLOBAL: String
  24. val QED_SCRIPT: String
  25. val QUASI_COMMAND: String
  26. val THY_BEGIN: String
  27. val THY_DECL: String
  28. val THY_DECL_BLOCK: String
  29. val THY_END: String
  30. val THY_GOAL: String
  31. val THY_LOAD: String
  32. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  33. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  34. val close_structure: Set[String]
  35. val diag: Set[String]
  36. val document: Set[String]
  37. val document_body: Set[String]
  38. val document_heading: Set[String]
  39. val document_raw: Set[String]
  40. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  41. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  42. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  43. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  44. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  45. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  46. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  47. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  48. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  49. val prf_script: Set[String]
  50. val proof: Set[String]
  51. val proof_body: Set[String]
  52. val proof_close: Set[String]
  53. val proof_enclose: Set[String]
  54. val proof_goal: Set[String]
  55. val proof_open: Set[String]
  56. val qed: Set[String]
  57. val qed_global: Set[String]
  58. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  59. val theory: Set[String]
  60. val theory_begin: Set[String]
  61. val theory_block: Set[String]
  62. val theory_body: Set[String]
  63. val theory_end: Set[String]
  64. val theory_goal: Set[String]
  65. val theory_load: Set[String]
  66. def toString(): String
    Definition Classes
    AnyRef → Any
  67. val vacous: Set[String]
  68. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  69. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  70. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  71. object Keywords
  72. object Spec extends Serializable

    keyword tables *

Inherited from AnyRef

Inherited from Any

Ungrouped