src/Pure/Isar/class.ML
changeset 26435 bdce320cd426
parent 26353 537ff6997149
child 26463 9283b4185fdf
     1.1 --- a/src/Pure/Isar/class.ML	Thu Mar 27 15:32:12 2008 +0100
     1.2 +++ b/src/Pure/Isar/class.ML	Thu Mar 27 15:32:15 2008 +0100
     1.3 @@ -395,7 +395,7 @@
     1.4    HEADGOAL (Method.some_rule_tac rules ctxt facts) ORELSE
     1.5      default_intro_classes_tac facts;
     1.6  
     1.7 -val _ = Context.add_setup (Method.add_methods
     1.8 +val _ = Context.>> (Method.add_methods
     1.9   [("intro_classes", Method.no_args (Method.METHOD intro_classes_tac),
    1.10      "back-chain introduction rules of classes"),
    1.11    ("default", Method.thms_ctxt_args (Method.METHOD oo default_tac),