tuned print_rules;
authorwenzelm
Sat Jul 01 19:42:08 2000 +0200 (2000-07-01)
changeset 9217adef902823f9
parent 9216 0842edfc8245
child 9218 fdecb23119c0
tuned print_rules;
src/Pure/Isar/calculation.ML
     1.1 --- a/src/Pure/Isar/calculation.ML	Sat Jul 01 19:41:11 2000 +0200
     1.2 +++ b/src/Pure/Isar/calculation.ML	Sat Jul 01 19:42:08 2000 +0200
     1.3 @@ -28,7 +28,7 @@
     1.4  
     1.5  (* theory data kind 'Isar/calculation' *)
     1.6  
     1.7 -fun print_rules rs = Pretty.writeln (Pretty.big_list "calculation rules:"
     1.8 +fun print_rules rs = Pretty.writeln (Pretty.big_list "transitivity rules:"
     1.9    (map Display.pretty_thm (NetRules.rules rs)));
    1.10  
    1.11  structure GlobalCalculationArgs =