changeset 32466 | a393b7e2a2f8 |
parent 29606 | fedb8be05f24 |
child 34167 | 0a5e2c5195d5 |
--- a/src/Pure/Thy/thy_header.ML Tue Sep 01 13:31:22 2009 +0200 +++ b/src/Pure/Thy/thy_header.ML Tue Sep 01 14:45:06 2009 +0200 @@ -11,7 +11,7 @@ val read: Position.T -> (string, 'a) Source.source -> string * string list * (string * bool) list end; -structure ThyHeader: THY_HEADER = +structure Thy_Header: THY_HEADER = struct structure T = OuterLex;