1.1 --- a/src/HOL/IsaMakefile	Wed Sep 07 23:07:16 2011 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Wed Sep 07 23:38:52 2011 +0200
     1.3 @@ -463,10 +463,10 @@
     1.4    Library/Quotient_Option.thy Library/Quotient_Product.thy		\
     1.5    Library/Quotient_Sum.thy Library/Quotient_Syntax.thy			\
     1.6    Library/Quotient_Type.thy Library/RBT.thy Library/RBT_Impl.thy	\
     1.7 -  Library/RBT_Mapping.thy Library/README.html Library/Set_Algebras.thy	\
     1.8 -  Library/State_Monad.thy Library/Ramsey.thy Library/Reflection.thy	\
     1.9 -  Library/Sublist_Order.thy Library/Sum_of_Squares.thy			\
    1.10 -  Library/Sum_of_Squares/sos_wrapper.ML					\
    1.11 +  Library/RBT_Mapping.thy Library/README.html Library/Saturated.thy	\
    1.12 +  Library/Set_Algebras.thy Library/State_Monad.thy Library/Ramsey.thy	\
    1.13 +  Library/Reflection.thy Library/Sublist_Order.thy			\
    1.14 +  Library/Sum_of_Squares.thy Library/Sum_of_Squares/sos_wrapper.ML	\
    1.15    Library/Sum_of_Squares/sum_of_squares.ML				\
    1.16    Library/Transitive_Closure_Table.thy Library/Univ_Poly.thy		\
    1.17    Library/Wfrec.thy Library/While_Combinator.thy Library/Zorn.thy	\