# HG changeset patch
# User wenzelm
# Date 1113410764 -7200
# Node ID ef7b74e52f117ec9f486584e2d640eebcbc735b1
# Parent  80b421d8a8be2b8e01852abafd046a505614c719
*** MESSAGE REFERS TO PREVIOUS VERSION ***
Scan.peek;
Args.local_tyname, Args.local_const;

diff -r 80b421d8a8be -r ef7b74e52f11 src/Provers/induct_method.ML
--- 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;
+