# HG changeset patch
# User wenzelm
# Date 1113410782 -7200
# Node ID b6b3df30cb0f7b61aafc7599abdf5f4c8b47af56
# Parent  f04c3d668c6562d390a9c1d17c61e796d0eb0adf
*** MESSAGE REFERS TO PREVIOUS VERSION ***
Scan.peek;
Args.global/local_const/tyname (static binding!);

diff -r f04c3d668c65 -r b6b3df30cb0f src/Pure/Isar/induct_attrib.ML
--- a/src/Pure/Isar/induct_attrib.ML	Wed Apr 13 18:46:12 2005 +0200
+++ b/src/Pure/Isar/induct_attrib.ML	Wed Apr 13 18:46:22 2005 +0200
@@ -234,3 +234,4 @@
      (inductN, induct_attr, "declaration of induction rule for type or set")]];
 
 end;
+