diff -r a9898d89a634 -r 4362e906b745 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Wed Oct 25 18:25:41 2000 +0200
+++ b/src/HOL/IsaMakefile	Wed Oct 25 18:31:21 2000 +0200
@@ -162,9 +162,9 @@
 HOL-Library: HOL $(LOG)/HOL-Library.gz
 
 $(LOG)/HOL-Library.gz: $(OUT)/HOL Library/Accessible_Part.thy \
-  Library/Library.thy Library/Multiset.thy Library/Quotient.thy \
-  Library/README.html Library/ROOT.ML Library/While_Combinator.thy \
-  Library/While_Combinator_Example.thy
+  Library/Library.thy Library/List_Prefix.thy Library/Multiset.thy \
+  Library/Quotient.thy Library/README.html Library/ROOT.ML \
+  Library/While_Combinator.thy Library/While_Combinator_Example.thy
 	@$(ISATOOL) usedir $(OUT)/HOL Library
 
 
@@ -254,9 +254,8 @@
   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/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
+  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