Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned print_rules;
authorwenzelm
Sat, 01 Jul 2000 19:42:08 +0200
changeset 9217 adef902823f9
parent 9216 0842edfc8245
child 9218 fdecb23119c0
tuned print_rules;
src/Pure/Isar/calculation.ML file | annotate | diff | comparison | revisions 
--- 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 =
isabelle