changeset 9217 | adef902823f9 |
parent 9153 | 45f8896faacd |
child 9322 | b5bd2709a2c2 |
--- a/src/Pure/Isar/calculation.ML Sat Jul 01 19:41:11 2000 +0200 +++ b/src/Pure/Isar/calculation.ML Sat Jul 01 19:42:08 2000 +0200 @@ -28,7 +28,7 @@ (* theory data kind 'Isar/calculation' *) -fun print_rules rs = Pretty.writeln (Pretty.big_list "calculation rules:" +fun print_rules rs = Pretty.writeln (Pretty.big_list "transitivity rules:" (map Display.pretty_thm (NetRules.rules rs))); structure GlobalCalculationArgs =