changeset 8461 | 2693a3a9fcc1 |
parent 8300 | 4c3f83414de3 |
child 8562 | ce0e2b8e8844 |
--- a/src/Pure/Isar/calculation.ML Wed Mar 15 18:24:27 2000 +0100 +++ b/src/Pure/Isar/calculation.ML Wed Mar 15 18:25:42 2000 +0100 @@ -153,7 +153,7 @@ (** theory setup **) val setup = [GlobalCalculation.init, LocalCalculation.init, - Attrib.add_attributes [(transN, trans_attr, "transitivity rule")]]; + Attrib.add_attributes [(transN, trans_attr, "declare transitivity rule")]]; end;