--- a/src/HOL/Cardinals/Fun_More.thy Thu Jan 16 16:50:41 2014 +0100
+++ b/src/HOL/Cardinals/Fun_More.thy Thu Jan 16 18:26:41 2014 +0100
@@ -8,7 +8,7 @@
header {* More on Injections, Bijections and Inverses *}
theory Fun_More
-imports Fun_More_FP Main
+imports Main
begin