src/HOL/Library/Library.thy
changeset 20400 0ad2f3bbd4f0
parent 19605 67e6b4759b37
child 20809 6c4fd0b4b63a
     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