src/HOL/Library/Library.thy

--- a/src/HOL/Library/Library.thy	Thu Aug 28 00:40:37 2014 +0200
+++ b/src/HOL/Library/Library.thy	Thu Aug 28 00:40:38 2014 +0200
@@ -40,6 +40,7 @@
   Multiset
   Numeral_Type
   NthRoot_Limits
+  Old_SMT
   OptionalSugar
   Option_ord
   Order_Continuity
@@ -61,7 +62,6 @@
   Reflection
   Saturated
   Set_Algebras
-  SMT
   State_Monad
   Sublist
   Sum_of_Squares