changeset 59735 | 24bee1b11fce |
parent 59694 | d2bb4b5ed862 |
child 59934 | b65c4370f831 |
--- a/src/Pure/Thy/thy_header.ML Tue Mar 17 09:22:21 2015 +0100 +++ b/src/Pure/Thy/thy_header.ML Tue Mar 17 15:21:41 2015 +0100 @@ -12,6 +12,7 @@ imports: (string * Position.T) list, keywords: keywords} val make: string * Position.T -> (string * Position.T) list -> keywords -> header + val theoryN: string val bootstrap_keywords: Keyword.keywords val add_keywords: keywords -> theory -> theory val get_keywords: theory -> Keyword.keywords