--- a/src/HOL/IsaMakefile Wed Jun 27 17:52:07 2012 +0200
+++ b/src/HOL/IsaMakefile Thu Jun 28 09:14:57 2012 +0200
@@ -469,17 +469,17 @@
Library/Numeral_Type.thy Library/Old_Recdef.thy \
Library/OptionalSugar.thy Library/Order_Relation.thy \
Library/Permutation.thy Library/Permutations.thy \
- Library/Poly_Deriv.thy Library/Polynomial.thy \
- Library/Predicate_Compile_Quickcheck.thy Library/Preorder.thy \
- Library/Product_Vector.thy Library/Product_ord.thy \
- Library/Product_plus.thy Library/Product_Lattice.thy \
- Library/Quickcheck_Types.thy Library/Quotient_List.thy \
- Library/Quotient_Option.thy Library/Quotient_Product.thy \
- Library/Quotient_Set.thy Library/Quotient_Sum.thy \
- Library/Quotient_Syntax.thy Library/Quotient_Type.thy Library/RBT.thy \
- Library/RBT_Impl.thy Library/RBT_Mapping.thy Library/README.html \
- Library/Saturated.thy Library/Set_Algebras.thy \
- Library/State_Monad.thy Library/Ramsey.thy \
+ Library/Phantom_Type.thy Library/Poly_Deriv.thy \
+ Library/Polynomial.thy Library/Predicate_Compile_Quickcheck.thy \
+ Library/Preorder.thy Library/Product_Vector.thy \
+ Library/Product_ord.thy Library/Product_plus.thy \
+ Library/Product_Lattice.thy Library/Quickcheck_Types.thy \
+ Library/Quotient_List.thy Library/Quotient_Option.thy \
+ Library/Quotient_Product.thy Library/Quotient_Set.thy \
+ Library/Quotient_Sum.thy Library/Quotient_Syntax.thy \
+ Library/Quotient_Type.thy Library/RBT.thy Library/RBT_Impl.thy \
+ Library/RBT_Mapping.thy Library/README.html Library/Saturated.thy \
+ Library/Set_Algebras.thy Library/State_Monad.thy Library/Ramsey.thy \
Library/Reflection.thy Library/Sublist_Order.thy \
Library/Sum_of_Squares.thy Library/Sum_of_Squares/sos_wrapper.ML \
Library/Sum_of_Squares/sum_of_squares.ML Library/Target_Numeral.thy \