diff -r 2187e3f94761 -r d374530bfaaa src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Mon Jul 25 15:51:30 2005 +0200
+++ b/src/HOL/IsaMakefile	Mon Jul 25 18:54:49 2005 +0200
@@ -176,6 +176,7 @@
 HOL-Library: HOL $(LOG)/HOL-Library.gz
 
 $(LOG)/HOL-Library.gz: $(OUT)/HOL Library/Accessible_Part.thy \
+  Library/SetsAndFunctions.thy Library/BigO.thy \
   Library/EfficientNat.thy Library/FuncSet.thy Library/Library.thy \
   Library/List_Prefix.thy Library/Multiset.thy Library/NatPair.thy \
   Library/Permutation.thy Library/Primes.thy Library/Quotient.thy \