--- a/src/Pure/Isar/rule_insts.ML Thu Mar 27 15:32:12 2008 +0100
+++ b/src/Pure/Isar/rule_insts.ML Thu Mar 27 15:32:15 2008 +0100
@@ -218,7 +218,7 @@
(* setup *)
-val _ = Context.add_setup (Attrib.add_attributes
+val _ = Context.>> (Attrib.add_attributes
[("where", where_att, "named instantiation of theorem"),
("of", of_att, "positional instantiation of theorem")]);
@@ -367,7 +367,7 @@
(* setup *)
-val _ = Context.add_setup (Method.add_methods
+val _ = Context.>> (Method.add_methods
[("rule_tac", inst_args_var res_inst_meth,
"apply rule (dynamic instantiation)"),
("erule_tac", inst_args_var eres_inst_meth,