Added ExecutableSet.
authorberghofe
Sun Sep 25 20:12:59 2005 +0200 (2005-09-25)
changeset 176337daaa7fe9c96
parent 17632 13d6a689efe9
child 17634 e83ce8fe58fa
Added ExecutableSet.
src/HOL/Library/Library.thy
     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