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