tuned comment;
authorwenzelm
Wed Mar 15 18:25:42 2000 +0100 (2000-03-15)
changeset 84612693a3a9fcc1
parent 8460 274426d1adbc
child 8462 7f4e4e875c13
tuned comment;
src/Pure/Isar/calculation.ML
     1.1 --- a/src/Pure/Isar/calculation.ML	Wed Mar 15 18:24:27 2000 +0100
     1.2 +++ b/src/Pure/Isar/calculation.ML	Wed Mar 15 18:25:42 2000 +0100
     1.3 @@ -153,7 +153,7 @@
     1.4  (** theory setup **)
     1.5  
     1.6  val setup = [GlobalCalculation.init, LocalCalculation.init,
     1.7 -  Attrib.add_attributes [(transN, trans_attr, "transitivity rule")]];
     1.8 +  Attrib.add_attributes [(transN, trans_attr, "declare transitivity rule")]];
     1.9  
    1.10  
    1.11  end;