src/HOL/IsaMakefile
changeset 29708 e40b70d38909
parent 29699 987ed08d82cd
child 29748 2ff24d87fad1
child 29788 1b80ebe713a4
     1.1 --- a/src/HOL/IsaMakefile	Mon Feb 02 13:56:22 2009 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Mon Feb 02 13:56:22 2009 +0100
     1.3 @@ -331,7 +331,7 @@
     1.4    Library/Binomial.thy Library/Eval_Witness.thy	\
     1.5    Library/Code_Index.thy Library/Code_Char.thy				\
     1.6    Library/Code_Char_chr.thy Library/Code_Integer.thy			\
     1.7 -  Library/Numeral_Type.thy	Library/Reflection.thy		\
     1.8 +  Library/Mapping.thy	Library/Numeral_Type.thy	Library/Reflection.thy		\
     1.9    Library/Boolean_Algebra.thy Library/Countable.thy	\
    1.10    Library/RBT.thy	Library/Univ_Poly.thy	\
    1.11    Library/Enum.thy Library/Float.thy $(SRC)/Tools/float.ML $(SRC)/HOL/Tools/float_arith.ML \