--- a/src/ZF/AC/WO1_AC.thy Fri Jun 17 11:35:35 2005 +0200
+++ b/src/ZF/AC/WO1_AC.thy Fri Jun 17 16:12:49 2005 +0200
@@ -25,7 +25,7 @@
*)
-theory WO1_AC = AC_Equiv:
+theory WO1_AC imports AC_Equiv begin
(* ********************************************************************** *)
(* WO1 ==> AC1 *)