src/HOL/Library/Library.thy
changeset 17633 7daaa7fe9c96
parent 17516 45164074dad4
child 18397 2d94eb7ff17f
     1.1 --- a/src/HOL/Library/Library.thy	Sun Sep 25 20:12:26 2005 +0200
     1.2 +++ b/src/HOL/Library/Library.thy	Sun Sep 25 20:12:59 2005 +0200
     1.3 @@ -5,6 +5,7 @@
     1.4    BigO
     1.5    Continuity
     1.6    EfficientNat
     1.7 +  ExecutableSet
     1.8    FuncSet
     1.9    Multiset
    1.10    NatPair