src/Pure/Isar/induct_attrib.ML

--- a/src/Pure/Isar/induct_attrib.ML	Thu Jan 19 15:45:10 2006 +0100
+++ b/src/Pure/Isar/induct_attrib.ML	Thu Jan 19 21:22:08 2006 +0100
@@ -134,7 +134,7 @@
     end
 );
 
-val _ = Context.add_setup [Induct.init];
+val _ = Context.add_setup Induct.init;
 val print_rules = Induct.print;
 val dest_rules = dest o Induct.get;
 
@@ -224,9 +224,9 @@
 end;
 
 val _ = Context.add_setup
- [Attrib.add_attributes
+ (Attrib.add_attributes
   [(casesN, Attrib.common cases_att, "declaration of cases rule for type or set"),
    (inductN, Attrib.common induct_att, "declaration of induction rule for type or set"),
-   (coinductN, Attrib.common coinduct_att, "declaration of coinduction rule for type or set")]];
+   (coinductN, Attrib.common coinduct_att, "declaration of coinduction rule for type or set")]);
 
 end;