1.1 --- a/src/HOL/Library/Library.thy Thu Jan 08 10:53:48 2009 +0100
1.2 +++ b/src/HOL/Library/Library.thy Thu Jan 08 17:10:41 2009 +0100
1.3 @@ -22,7 +22,6 @@
1.4 Executable_Set
1.5 Float
1.6 FuncSet
1.7 - Imperative_HOL
1.8 Infinite_Set
1.9 ListVector
1.10 Multiset