# HG changeset patch
# User clasohm
# Date 813247051 -3600
# Node ID 5d68da443a9f70a8dbc079984ce29f7022aef408
# Parent  ea0668a1c0ba751e239cb8474f65baf56677ffe1
added newline for last line

diff -r ea0668a1c0ba -r 5d68da443a9f src/ZF/constructor.thy
--- 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"