--- a/src/HOL/IsaMakefile Thu Mar 04 15:48:38 2004 +0100
+++ b/src/HOL/IsaMakefile Thu Mar 04 15:49:42 2004 +0100
@@ -290,14 +290,12 @@
HOL-Lex: HOL $(LOG)/HOL-Lex.gz
$(LOG)/HOL-Lex.gz: $(OUT)/HOL \
- Lex/AutoChopper.thy Lex/AutoChopper1.thy \
- Lex/AutoMaxChop.thy Lex/AutoMaxChop.ML Lex/AutoProj.thy \
- Lex/Automata.thy Lex/Chopper.thy Lex/DA.thy \
- Lex/MaxChop.thy Lex/MaxPrefix.thy \
- Lex/NA.thy Lex/NAe.thy Lex/RegExp2NAe.thy \
+ Lex/AutoChopper.thy Lex/AutoChopper1.thy Lex/AutoMaxChop.thy \
+ Lex/AutoProj.thy Lex/Automata.thy Lex/Chopper.thy Lex/DA.thy \
+ Lex/MaxChop.thy Lex/MaxPrefix.thy Lex/NA.thy Lex/NAe.thy Lex/RegExp2NAe.thy \
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
+ Lex/ROOT.ML Lex/RegExp.thy Lex/RegSet.thy \
+ Lex/RegSet_of_nat_DA.thy Library/List_Prefix.thy
@$(ISATOOL) usedir $(OUT)/HOL Lex