added Scanner;

--- a/src/Pure/Syntax/ROOT.ML	Mon Nov 29 12:10:17 1993 +0100
+++ b/src/Pure/Syntax/ROOT.ML	Mon Nov 29 12:25:15 1993 +0100
@@ -39,6 +39,7 @@
 structure Syntax = SyntaxFun(structure Symtab = Symtab and TypeExt = TypeExt
   and Parser = Earley and SExtension = SExtension and Printer = Printer);
 
+structure Scanner: SCANNER = Lexicon;
 
 (*BasicSyntax has the most important primitives, which are made pervasive*)
 signature BASIC_SYNTAX = sig include SEXTENSION0 include PRINTER0 end;