--- a/src/ZF/constructor.thy Fri Oct 06 17:25:24 1995 +0100
+++ b/src/ZF/constructor.thy Mon Oct 09 14:57:31 1995 +0100
@@ -1,3 +1,3 @@
(*Dummy theory to document dependencies *)
-constructor = "intr_elim"
\ No newline at end of file
+constructor = "intr_elim"