--- a/src/HOL/IsaMakefile Mon Feb 02 13:56:22 2009 +0100
+++ b/src/HOL/IsaMakefile Mon Feb 02 13:56:22 2009 +0100
@@ -331,7 +331,7 @@
Library/Binomial.thy Library/Eval_Witness.thy \
Library/Code_Index.thy Library/Code_Char.thy \
Library/Code_Char_chr.thy Library/Code_Integer.thy \
- Library/Numeral_Type.thy Library/Reflection.thy \
+ Library/Mapping.thy Library/Numeral_Type.thy Library/Reflection.thy \
Library/Boolean_Algebra.thy Library/Countable.thy \
Library/RBT.thy Library/Univ_Poly.thy \
Library/Enum.thy Library/Float.thy $(SRC)/Tools/float.ML $(SRC)/HOL/Tools/float_arith.ML \