Thy_Header

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 ABBREVS: String

   

5. val AND: String

   

6. val BEGIN: String

   

7. val CHAPTER: String

   

8. val IMPORTS: String

   

9. val KEYWORDS: String

   

10. val ML_BOOTSTRAP: String

    

11. val PARAGRAPH: String

    

12. val PURE: String

    

13. val SECTION: String

    

14. val SUBPARAGRAPH: String

    

15. val SUBSECTION: String

    

16. val SUBSUBSECTION: String

    

17. val TEXT: String

    

18. val TEXT_RAW: String

    

19. val THEORY: String

    

20. val TXT: String

    

21. final def asInstanceOf[T0]: T0

    

    Definition Classes

    Any

22. val bootstrap_global_theories: List[(String, String)]

    

23. val bootstrap_header: Keywords

    

24. def bootstrap_name(theory: String): String

    

25. val bootstrap_syntax: Outer_Syntax

    

26. val bootstrap_thys: List[(String, String)]

    

27. def clone(): AnyRef

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

29. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

30. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

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

    

    Definition Classes

    AnyRef → Any

32. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

33. def import_name(s: String): String

    

34. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

35. def is_base_name(s: String): Boolean

    

36. def is_bootstrap(theory: String): Boolean

    

37. def is_ml_root(theory: String): Boolean

    

38. val ml_roots: List[(String, String)]

    

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

    

    Definition Classes

    AnyRef

40. final def notify(): Unit

    

    Definition Classes

    AnyRef

41. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

42. def read(reader: Reader[Char], start: Pos, strict: Boolean = true): Thy_Header

    

43. def split_file_name(s: String): Option[(String, String)]

    

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

    

    Definition Classes

    AnyRef

45. def theory_name(s: String): String

    

46. def toString(): String

    

    Definition Classes

    AnyRef → Any

47. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )