--- a/src/ZF/equalities.thy Mon Aug 15 18:04:10 1994 +0200
+++ b/src/ZF/equalities.thy Mon Aug 15 18:07:03 1994 +0200
@@ -1,3 +1,3 @@
(*Dummy theory to document dependencies *)
-equalities = "domrange"
\ No newline at end of file
+equalities = "domrange"