--- a/src/HOL/Library/Cardinality.thy Sat Mar 24 16:27:04 2012 +0100
+++ b/src/HOL/Library/Cardinality.thy Sun Mar 25 20:15:39 2012 +0200
@@ -5,7 +5,7 @@
header {* Cardinality of types *}
theory Cardinality
-imports Main
+imports "~~/src/HOL/Main"
begin
subsection {* Preliminary lemmas *}