src/HOL/IsaMakefile
changeset 19039 8eae46249628
parent 18886 9f27383426db
child 19085 a1a251b297dd
     1.1 --- a/src/HOL/IsaMakefile	Tue Feb 14 17:07:11 2006 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Tue Feb 14 17:07:48 2006 +0100
     1.3 @@ -183,7 +183,7 @@
     1.4  
     1.5  $(LOG)/HOL-Library.gz: $(OUT)/HOL Library/Accessible_Part.thy \
     1.6    Library/SetsAndFunctions.thy Library/BigO.thy \
     1.7 -  Library/EfficientNat.thy Library/ExecutableSet.thy \
     1.8 +  Library/EfficientNat.thy Library/ExecutableSet.thy Library/ExecutableRat.thy \
     1.9    Library/FuncSet.thy Library/Library.thy \
    1.10    Library/List_Prefix.thy Library/Multiset.thy Library/NatPair.thy \
    1.11    Library/Permutation.thy Library/Primes.thy Library/Quotient.thy \