src/Pure/Isar/context_rules.ML
changeset 18377 0e1d025d57b3
parent 18011 685d95c793ff
child 18418 bf448d999b7e
     1.1 --- a/src/Pure/Isar/context_rules.ML	Thu Dec 08 20:16:17 2005 +0100
     1.2 +++ b/src/Pure/Isar/context_rules.ML	Fri Dec 09 09:06:45 2005 +0100
     1.3 @@ -252,7 +252,7 @@
     1.4  end;
     1.5  
     1.6  val _ = Context.add_setup
     1.7 -  [#1 o PureThy.add_thms [(("", Drule.equal_intr_rule), [intro_query_global NONE])]];
     1.8 +  [snd o PureThy.add_thms [(("", Drule.equal_intr_rule), [intro_query_global NONE])]];
     1.9  
    1.10  
    1.11  (* low-level modifiers *)