src/HOL/Library/Library.thy

--- a/src/HOL/Library/Library.thy	Fri Aug 18 18:51:44 2006 +0200
+++ b/src/HOL/Library/Library.thy	Mon Aug 21 11:02:39 2006 +0200
@@ -6,6 +6,7 @@
   EfficientNat
   ExecutableSet
   ExecutableRat
+  MLString
   FuncSet
   Multiset
   NatPair