1.1 --- a/src/HOL/Library/Library.thy	Fri Aug 18 18:51:44 2006 +0200
     1.2 +++ b/src/HOL/Library/Library.thy	Mon Aug 21 11:02:39 2006 +0200
     1.3 @@ -6,6 +6,7 @@
     1.4    EfficientNat
     1.5    ExecutableSet
     1.6    ExecutableRat
     1.7 +  MLString
     1.8    FuncSet
     1.9    Multiset
    1.10    NatPair