--- a/src/Provers/induct_method.ML Wed Apr 13 18:45:52 2005 +0200 +++ b/src/Provers/induct_method.ML Wed Apr 13 18:46:04 2005 +0200 @@ -365,3 +365,4 @@ (InductAttrib.inductN, induct_meth oo induct_args, "induction on types or sets")]]; end; +