src/Tools/induction.ML
changeset 59940 087d81f5213e
parent 59931 5ec4f97dd6d4
child 59970 e9f73d87d904
     1.1 --- a/src/Tools/induction.ML	Mon Apr 06 22:11:01 2015 +0200
     1.2 +++ b/src/Tools/induction.ML	Mon Apr 06 23:14:05 2015 +0200
     1.3 @@ -45,6 +45,6 @@
     1.4  
     1.5  val induction_tac = Induct.gen_induct_tac (K name_hyps);
     1.6  
     1.7 -val _ = Theory.setup (Induct.gen_induct_setup @{binding induction} induction_tac);
     1.8 +val _ = Theory.local_setup (Induct.gen_induct_setup @{binding induction} induction_tac);
     1.9  
    1.10  end