src/ZF/AC/AC15_WO6.thy

--- a/src/ZF/AC/AC15_WO6.thy	Mon Jul 21 16:30:49 2008 +0200
+++ b/src/ZF/AC/AC15_WO6.thy	Fri Jul 25 07:35:53 2008 +0200
@@ -20,7 +20,9 @@
 Rubin & Rubin do.
 *)
 
-theory AC15_WO6 imports HH Cardinal_aux begin
+theory AC15_WO6
+imports HH Cardinal_aux
+begin
 
 
 (* ********************************************************************** *)