--- a/src/HOL/Library/Library.thy Thu Jan 08 10:53:48 2009 +0100 +++ b/src/HOL/Library/Library.thy Thu Jan 08 17:10:41 2009 +0100 @@ -22,7 +22,6 @@ Executable_Set Float FuncSet - Imperative_HOL Infinite_Set ListVector Multiset