--- 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