--- a/src/HOL/IsaMakefile Mon Jan 09 23:11:28 2012 +0100
+++ b/src/HOL/IsaMakefile Tue Jan 10 10:17:07 2012 +0100
@@ -436,7 +436,7 @@
$(OUT)/HOL-Library: $(OUT)/HOL Library/ROOT.ML \
$(SRC)/HOL/Tools/float_arith.ML $(SRC)/Tools/float.ML \
Library/Abstract_Rat.thy $(SRC)/Tools/Adhoc_Overloading.thy \
- Library/AList_Impl.thy Library/AList_Mapping.thy \
+ Library/AList_Impl.thy Library/AList.thy Library/AList_Mapping.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 \