--- a/src/HOL/IsaMakefile Tue Jul 13 11:38:04 2010 +0200
+++ b/src/HOL/IsaMakefile Tue Jul 13 00:15:37 2010 +0200
@@ -397,7 +397,7 @@
$(OUT)/HOL-Library: $(OUT)/HOL Library/HOL_Library_ROOT.ML \
$(SRC)/HOL/Tools/float_arith.ML $(SRC)/Tools/float.ML \
- Library/Abstract_Rat.thy Library/AssocList.thy \
+ Library/Abstract_Rat.thy Library/Adhoc_Overloading.thy Library/AssocList.thy \
Library/BigO.thy Library/Binomial.thy Library/Bit.thy \
Library/Boolean_Algebra.thy Library/Cardinality.thy \
Library/Char_nat.thy Library/Code_Char.thy Library/Code_Char_chr.thy \
@@ -434,8 +434,8 @@
Library/Sum_Of_Squares/sum_of_squares.ML \
Library/Transitive_Closure_Table.thy Library/Univ_Poly.thy \
Library/While_Combinator.thy Library/Zorn.thy \
- Library/positivstellensatz.ML Library/reflection.ML \
- Library/reify_data.ML \
+ Library/adhoc_overloading.ML Library/positivstellensatz.ML \
+ Library/reflection.ML Library/reify_data.ML \
Library/document/root.bib Library/document/root.tex
@cd Library; $(ISABELLE_TOOL) usedir -b -f HOL_Library_ROOT.ML $(OUT)/HOL HOL-Library