src/Pure/Isar/calculation.ML
changeset 18377 0e1d025d57b3
parent 18223 20830cb4428c
child 18637 33a6f6caa617
     1.1 --- a/src/Pure/Isar/calculation.ML	Thu Dec 08 20:16:17 2005 +0100
     1.2 +++ b/src/Pure/Isar/calculation.ML	Fri Dec 09 09:06:45 2005 +0100
     1.3 @@ -135,7 +135,7 @@
     1.4      ("sym", sym_attr, "declaration of symmetry rule"),
     1.5      ("symmetric", (Attrib.no_args symmetric_global, Attrib.no_args symmetric_local),
     1.6        "resolution with symmetry rule")],
     1.7 -  #1 o PureThy.add_thms
     1.8 +  snd o PureThy.add_thms
     1.9     [(("", transitive_thm), [trans_add_global]),
    1.10      (("", symmetric_thm), [sym_add_global])]];
    1.11