
diff -r aab26a65e80f -r ebcd69a00872 src/HOL/Library/Library.thy
--- 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




