src/Pure/Isar/calculation.ML
changeset 9217 adef902823f9
parent 9153 45f8896faacd
child 9322 b5bd2709a2c2
     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 =