src/HOL/IsaMakefile
changeset 16908 d374530bfaaa
parent 16873 9ed940a1bebb
child 17011 08f8408853e3
     1.1 --- a/src/HOL/IsaMakefile	Mon Jul 25 15:51:30 2005 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Mon Jul 25 18:54:49 2005 +0200
     1.3 @@ -176,6 +176,7 @@
     1.4  HOL-Library: HOL $(LOG)/HOL-Library.gz
     1.5  
     1.6  $(LOG)/HOL-Library.gz: $(OUT)/HOL Library/Accessible_Part.thy \
     1.7 +  Library/SetsAndFunctions.thy Library/BigO.thy \
     1.8    Library/EfficientNat.thy Library/FuncSet.thy Library/Library.thy \
     1.9    Library/List_Prefix.thy Library/Multiset.thy Library/NatPair.thy \
    1.10    Library/Permutation.thy Library/Primes.thy Library/Quotient.thy \