--- a/src/Pure/Thy/thy_header.ML Tue Aug 07 13:21:29 2012 +0200
+++ b/src/Pure/Thy/thy_header.ML Tue Aug 07 15:01:48 2012 +0200
@@ -7,7 +7,8 @@
signature THY_HEADER =
sig
type header =
- {name: string, imports: string list,
+ {name: string,
+ imports: string list,
keywords: (string * Keyword.spec option) list,
uses: (Path.T * bool) list}
val make: string -> string list -> (string * Keyword.spec option) list ->
@@ -23,7 +24,8 @@
struct
type header =
- {name: string, imports: string list,
+ {name: string,
+ imports: string list,
keywords: (string * Keyword.spec option) list,
uses: (Path.T * bool) list};