--- a/src/HOL/IsaMakefile Mon Apr 27 13:47:46 1998 +0200
+++ b/src/HOL/IsaMakefile Mon Apr 27 16:45:11 1998 +0200
@@ -104,11 +104,15 @@
HOL-Lex: HOL $(LOG)/HOL-Lex.gz
-$(LOG)/HOL-Lex.gz: $(OUT)/HOL Lex/Auto.thy Lex/Auto.ML \
+$(LOG)/HOL-Lex.gz: $(OUT)/HOL \
Lex/AutoChopper.thy Lex/AutoChopper.ML Lex/AutoChopper1.thy \
- Lex/Chopper.thy Lex/Prefix.thy Lex/Prefix.ML Lex/ROOT.ML \
- Lex/Regset_of_auto.ML Lex/Regset_of_auto.thy Lex/MaxChop.thy Lex/MaxChop.ML \
- Lex/MaxPrefix.thy Lex/MaxPrefix.ML Lex/AutoMaxChop.thy Lex/AutoMaxChop.ML
+ Lex/AutoMaxChop.thy Lex/AutoMaxChop.ML Lex/AutoProj.thy Lex/AutoProj.ML \
+ 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/NAe.thy Lex/NAe.ML Lex/NAe_of_RegExp.thy Lex/NAe_of_RegExp.ML\
+ Lex/Prefix.thy Lex/Prefix.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
@$(ISATOOL) usedir $(OUT)/HOL Lex