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.
oops;
authorwenzelm
Thu, 12 Feb 1998 16:43:05 +0100
changeset 4625 9c6082518cfb
parent 4624 795b5b624c02
child 4626 51dd12f34c78
oops;
src/Provers/classical.ML file | annotate | diff | comparison | revisions 
--- a/src/Provers/classical.ML	Thu Feb 12 16:38:08 1998 +0100
+++ b/src/Provers/classical.ML	Thu Feb 12 16:43:05 1998 +0100
@@ -255,8 +255,8 @@
   let val pretty_thms = map Display.pretty_thm in
     Pretty.writeln (Pretty.big_list "safe introduction rules:" (pretty_thms safeIs));
     Pretty.writeln (Pretty.big_list "unsafe introduction rules:" (pretty_thms hazIs));
-    Pretty.writeln (Pretty.big_list "safe elimination rules:" (pretty_thms safeEs))
-    Pretty.writeln (Pretty.big_list "unsafe elimination rules:" (pretty_thms hazEs));
+    Pretty.writeln (Pretty.big_list "safe elimination rules:" (pretty_thms safeEs));
+    Pretty.writeln (Pretty.big_list "unsafe elimination rules:" (pretty_thms hazEs))
   end;
 
 fun rep_claset (CS args) = args;
isabelle