--- a/src/ZF/Inductive.thy Wed Apr 02 15:24:42 1997 +0200
+++ b/src/ZF/Inductive.thy Wed Apr 02 15:25:35 1997 +0200
@@ -1,3 +1,5 @@
(*Dummy theory to document dependencies *)
-Inductive = Fixedpt + Sum + QPair + "indrule"
+Inductive = Fixedpt + Sum + QPair + "indrule" +
+
+end