--- a/src/HOL/IsaMakefile Fri Jan 19 23:28:50 2001 +0100
+++ b/src/HOL/IsaMakefile Fri Jan 19 23:53:07 2001 +0100
@@ -179,7 +179,7 @@
$(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/Rational_Numbers.thy Library/ROOT.ML \
+ Library/Nested_Environment.thy Library/Rational_Numbers.thy Library/ROOT.ML \
Library/While_Combinator.thy Library/While_Combinator_Example.thy
@$(ISATOOL) usedir $(OUT)/HOL Library