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