src/Pure/simplifier.ML
changeset 18988 d6e5fa2ba8b8
parent 18728 6790126ab5f6
child 20872 528054ca23e3
     1.1 --- a/src/Pure/simplifier.ML	Fri Feb 10 02:22:13 2006 +0100
     1.2 +++ b/src/Pure/simplifier.ML	Fri Feb 10 02:22:16 2006 +0100
     1.3 @@ -251,7 +251,7 @@
     1.4  in
     1.5  
     1.6  val simplified =
     1.7 -  Attrib.syntax (conv_mode -- Attrib.thmss >> (fn (f, ths) => Thm.rule_attribute (fn x =>
     1.8 +  Attrib.syntax (conv_mode -- Attrib.thms >> (fn (f, ths) => Thm.rule_attribute (fn x =>
     1.9      f ((if null ths then I else MetaSimplifier.clear_ss) (get_ss x) addsimps ths))));
    1.10  
    1.11  end;