diff -r b344226f924c -r e99d4a6cba8b src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Thu Jan 17 19:32:22 2002 +0100
+++ b/src/HOL/IsaMakefile	Thu Jan 17 19:37:42 2002 +0100
@@ -298,7 +298,7 @@
   Lex/Automata.thy Lex/Automata.ML Lex/Chopper.thy Lex/DA.thy Lex/DA.ML \
   Lex/MaxChop.thy Lex/MaxChop.ML Lex/MaxPrefix.thy Lex/MaxPrefix.ML \
   Lex/NA.thy Lex/NA.ML Lex/NAe.thy Lex/NAe.ML Lex/RegExp2NAe.thy \
-  Lex/RegExp2NAe.ML Lex/RegExp2NA.thy Lex/RegExp2NA.ML \
+  Lex/Scanner.thy Lex/RegExp2NAe.ML Lex/RegExp2NA.thy Lex/RegExp2NA.ML \
   Lex/ROOT.ML Lex/RegExp.thy Lex/RegSet.thy Lex/RegSet.ML \
   Lex/RegSet_of_nat_DA.thy Lex/RegSet_of_nat_DA.ML Library/List_Prefix.thy
 	@$(ISATOOL) usedir $(OUT)/HOL Lex