--- a/src/HOL/Library/Library.thy Wed Feb 10 14:12:02 2010 +0100 +++ b/src/HOL/Library/Library.thy Wed Feb 10 14:12:02 2010 +0100 @@ -51,7 +51,6 @@ RBT SML_Quickcheck State_Monad - Structure_Syntax Sum_Of_Squares Transitive_Closure_Table Univ_Poly