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