--- a/src/ZF/AC/AC18_AC19.thy Mon Jul 21 16:30:49 2008 +0200
+++ b/src/ZF/AC/AC18_AC19.thy Fri Jul 25 07:35:53 2008 +0200
@@ -5,7 +5,9 @@
The proof of AC1 ==> AC18 ==> AC19 ==> AC1
*)
-theory AC18_AC19 imports AC_Equiv begin
+theory AC18_AC19
+imports AC_Equiv
+begin
definition
uu :: "i => i" where