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.
cat_lines;
authorwenzelm
Mon, 02 Aug 1999 15:40:30 +0200
changeset 7150 d203e2282789
parent 7149 d0c2168f7704
child 7151 de17299bf095
cat_lines;
src/Sequents/prover.ML file | annotate | diff | comparison | revisions 
--- a/src/Sequents/prover.ML	Mon Aug 02 15:39:23 1999 +0200
+++ b/src/Sequents/prover.ML	Mon Aug 02 15:40:30 1999 +0200
@@ -28,8 +28,7 @@
 
 fun warn_duplicates [] = []
   | warn_duplicates dups =
-      (warning (String.concat ("Ignoring duplicate theorems:\n"::
-			       map (suffix "\n" o string_of_thm) dups));
+      (warning (cat_lines ("Ignoring duplicate theorems:" :: map string_of_thm dups));
        dups);
 
 fun (Pack(safes,unsafes)) add_safes ths   =
isabelle