src/HOL/simpdata.ML
changeset 7369 2d2110cda81e
parent 7357 d0e16da40ea2
child 7570 a9391550eea1
     1.1 --- a/src/HOL/simpdata.ML	Thu Aug 26 19:02:21 1999 +0200
     1.2 +++ b/src/HOL/simpdata.ML	Thu Aug 26 19:04:19 1999 +0200
     1.3 @@ -82,7 +82,7 @@
     1.4  val iff_add_global = change_global_css (op addIffs);
     1.5  val iff_add_local = change_local_css (op addIffs);
     1.6  
     1.7 -val simpdata_setup =
     1.8 +val iff_attrib_setup =
     1.9    [Attrib.add_attributes [("iff", (Attrib.no_args iff_add_global, Attrib.no_args iff_add_local),
    1.10      "add rules to simpset and claset simultaneously")]];
    1.11