src/ZF/Tools/inductive_package.ML

--- a/src/ZF/Tools/inductive_package.ML	Wed Apr 13 18:45:09 2005 +0200
+++ b/src/ZF/Tools/inductive_package.ML	Wed Apr 13 18:45:25 2005 +0200
@@ -622,3 +622,4 @@
 end;
 
 end;
+