# HG changeset patch
# User nipkow
# Date 889605632 -3600
# Node ID e1888c0d3b361e9fd6d25b917d252a9b83478c28
# Parent  b72dd6b2ba56d0e08989fd887baefc04296e9b85
More Lex.

diff -r b72dd6b2ba56 -r e1888c0d3b36 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Wed Mar 11 09:33:56 1998 +0100
+++ b/src/HOL/IsaMakefile	Wed Mar 11 09:40:32 1998 +0100
@@ -107,7 +107,8 @@
 $(LOG)/HOL-Lex.gz: $(OUT)/HOL Lex/Auto.thy Lex/Auto.ML \
   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/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
 	@$(ISATOOL) usedir $(OUT)/HOL Lex