src/HOL/Library/Library.thy

--- a/src/HOL/Library/Library.thy	Sun Sep 25 20:12:26 2005 +0200
+++ b/src/HOL/Library/Library.thy	Sun Sep 25 20:12:59 2005 +0200
@@ -5,6 +5,7 @@
   BigO
   Continuity
   EfficientNat
+  ExecutableSet
   FuncSet
   Multiset
   NatPair