tuned;

--- a/src/Pure/Thy/thy_syn.ML	Fri Jul 16 22:23:26 1999 +0200
+++ b/src/Pure/Thy/thy_syn.ML	Fri Jul 16 22:24:42 1999 +0200
@@ -16,7 +16,7 @@
   val add_syntax: string list ->
     (string * (ThyParse.token list -> (string * string) * ThyParse.token list)) list
     -> unit
-  val get_lexicon: unit -> Scan.lexicon;
+  val get_lexicon: unit -> Scan.lexicon
   val load_thy: string -> string list -> unit
 end;