--- a/src/HOL/IsaMakefile Wed Oct 18 23:42:18 2000 +0200
+++ b/src/HOL/IsaMakefile Wed Oct 18 23:44:52 2000 +0200
@@ -161,10 +161,10 @@
HOL-Library: HOL $(LOG)/HOL-Library.gz
-$(LOG)/HOL-Library.gz: $(OUT)/HOL Library/Accessible_Part.ML \
- 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
+$(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
@$(ISATOOL) usedir $(OUT)/HOL Library