src/HOL/Library/Countable.thy
changeset 30663 0b6aff7451b2
parent 29910 623c9c20966b
child 31992 f8aed98faae7
--- a/src/HOL/Library/Countable.thy	Mon Mar 23 08:14:23 2009 +0100
+++ b/src/HOL/Library/Countable.thy	Mon Mar 23 08:14:24 2009 +0100
@@ -6,11 +6,11 @@
 
 theory Countable
 imports
-  Plain
   "~~/src/HOL/List"
   "~~/src/HOL/Hilbert_Choice"
   "~~/src/HOL/Nat_Int_Bij"
   "~~/src/HOL/Rational"
+  Main
 begin
 
 subsection {* The class of countable types *}