--- a/src/HOL/IsaMakefile Thu Apr 14 09:19:55 2005 +0200
+++ b/src/HOL/IsaMakefile Thu Apr 14 17:57:04 2005 +0200
@@ -188,7 +188,9 @@
Library/README.html Library/Continuity.thy \
Library/Nested_Environment.thy Library/Zorn.thy\
Library/Library/ROOT.ML Library/Library/document/root.tex \
- Library/Library/document/root.bib Library/While_Combinator.thy
+ Library/Library/document/root.bib Library/While_Combinator.thy \
+ Library/Product_ord.thy Library/Char_ord.thy \
+ Library/List_lexord.thy
@cd Library; $(ISATOOL) usedir $(OUT)/HOL Library