diff -r bc295e3dc078 -r 928a16e02f9f src/ZF/AC/WO_AC.thy
--- a/src/ZF/AC/WO_AC.thy	Thu Jun 22 12:58:39 1995 +0200
+++ b/src/ZF/AC/WO_AC.thy	Thu Jun 22 17:13:05 1995 +0200
@@ -1,3 +1,2 @@
 (*Dummy theory to document dependencies *)
-
-WO_AC = Order + first
\ No newline at end of file
+WO_AC = Order + first