--- a/src/Pure/Thy/thy_scan.ML Fri Feb 16 17:24:51 1996 +0100
+++ b/src/Pure/Thy/thy_scan.ML Fri Feb 16 18:00:47 1996 +0100
@@ -6,17 +6,17 @@
*)
signature THY_SCAN =
-sig
+ sig
datatype token_kind =
Keyword | Ident | LongIdent | TypeVar | Nat | String | Verbatim | EOF
val name_of_kind: token_kind -> string
type lexicon
val make_lexicon: string list -> lexicon
val tokenize: lexicon -> string -> (token_kind * string * int) list
-end;
+ end;
-functor ThyScanFun(Scanner: SCANNER): THY_SCAN =
+structure ThyScan : THY_SCAN =
struct
open Scanner;