--- a/src/HOL/IsaMakefile Wed Dec 06 19:10:36 2000 +0100
+++ b/src/HOL/IsaMakefile Wed Dec 06 20:05:58 2000 +0100
@@ -40,7 +40,7 @@
HOL-W0 \
HOL-ex
# ^ this is the sort position
-
+
all: test images
@@ -166,8 +166,8 @@
$(LOG)/HOL-Library.gz: $(OUT)/HOL Library/Accessible_Part.thy \
Library/Library.thy Library/List_Prefix.thy Library/Multiset.thy \
Library/Quotient.thy Library/Ring_and_Field.thy Library/README.html \
- Library/ROOT.ML Library/While_Combinator.thy \
- Library/While_Combinator_Example.thy
+ Library/Rational_Numbers.thy Library/ROOT.ML \
+ Library/While_Combinator.thy Library/While_Combinator_Example.thy
@$(ISATOOL) usedir $(OUT)/HOL Library