diff -r b1861768d8f4 -r 8f3099589cfa src/Pure/Thy/thy_header.ML
--- a/src/Pure/Thy/thy_header.ML	Thu Jul 19 23:18:46 2007 +0200
+++ b/src/Pure/Thy/thy_header.ML	Thu Jul 19 23:18:48 2007 +0200
@@ -9,8 +9,7 @@
 sig
   val args: OuterLex.token list ->
     (string * string list * (string * bool) list) * OuterLex.token list
-  val read: (string, 'a) Source.source * Position.T ->
-    string * string list * (string * bool) list
+  val read: Position.T -> (string, 'a) Source.source -> string * string list * (string * bool) list
 end;
 
 structure ThyHeader: THY_HEADER =
@@ -49,7 +48,7 @@
     (P.$$$ theoryN -- P.tags) |-- args)) ||
   (P.$$$ theoryN -- P.tags) |-- P.!!! args;
 
-fun read (src, pos) =
+fun read pos src =
   let val res =
     src
     |> Symbol.source false