Keyword

Value Members

1. final def !=(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef

2. final def !=(arg0: Any): Boolean

   Definition Classes

   Any

3. final def ##(): Int

   Definition Classes

   AnyRef → Any

4. final def ==(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef

5. final def ==(arg0: Any): Boolean

   Definition Classes

   Any

6. val BEFORE_COMMAND: String

7. val DIAG: String

8. val DOCUMENT_BODY: String

9. val DOCUMENT_HEADING: String

10. val DOCUMENT_RAW: String

11. object Keywords

12. val NEXT_BLOCK: String

13. val PRF_ASM: String

14. val PRF_ASM_GOAL: String

15. val PRF_BLOCK: String

16. val PRF_CHAIN: String

17. val PRF_CLOSE: String

18. val PRF_DECL: String

19. val PRF_GOAL: String

20. val PRF_OPEN: String

21. val PRF_SCRIPT: String

22. val PRF_SCRIPT_ASM_GOAL: String

23. val PRF_SCRIPT_GOAL: String

24. val QED: String

25. val QED_BLOCK: String

26. val QED_GLOBAL: String

27. val QED_SCRIPT: String

28. val QUASI_COMMAND: String

29. val THY_BEGIN: String

30. val THY_DECL: String

31. val THY_DECL_BLOCK: String

32. val THY_END: String

33. val THY_GOAL: String

34. val THY_LOAD: String

35. final def asInstanceOf[T0]: T0

    Definition Classes

    Any

36. val before_command_spec: ((String, List[String]), List[String])

37. def clone(): AnyRef

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

38. val close_structure: Set[String]

39. val diag: Set[String]

40. val document: Set[String]

41. val document_body: Set[String]

42. val document_heading: Set[String]

43. val document_raw: Set[String]

44. final def eq(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

45. def equals(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

46. def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

47. final def getClass(): Class[_]

    Definition Classes

    AnyRef → Any

48. def hashCode(): Int

    Definition Classes

    AnyRef → Any

49. final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

50. final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

51. val no_spec: ((String, List[String]), List[String])

52. final def notify(): Unit

    Definition Classes

    AnyRef

53. final def notifyAll(): Unit

    Definition Classes

    AnyRef

54. val prf_script: Set[String]

55. val proof: Set[String]

56. val proof_body: Set[String]

57. val proof_close: Set[String]

58. val proof_enclose: Set[String]

59. val proof_goal: Set[String]

60. val proof_open: Set[String]

61. val qed: Set[String]

62. val qed_global: Set[String]

63. val quasi_command_spec: ((String, List[String]), List[String])

64. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes

    AnyRef

65. val theory: Set[String]

66. val theory_begin: Set[String]

67. val theory_block: Set[String]

68. val theory_body: Set[String]

69. val theory_end: Set[String]

70. val theory_goal: Set[String]

71. val theory_load: Set[String]

72. def toString(): String

    Definition Classes

    AnyRef → Any

73. val vacous: Set[String]

74. final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

75. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

76. final def wait(arg0: Long): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )