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.
set show_types and show_sorts during import
authorobua
Sat, 24 Sep 2005 23:55:17 +0200
changeset 17630 bab7bf6554f4
parent 17629 f8ea8068c6d9
child 17631 152ab92e1009
set show_types and show_sorts during import
src/HOL/Import/proof_kernel.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Import/proof_kernel.ML	Sat Sep 24 21:13:15 2005 +0200
+++ b/src/HOL/Import/proof_kernel.ML	Sat Sep 24 23:55:17 2005 +0200
@@ -1216,7 +1216,7 @@
 			 if_debug prin isaconc)
 		val cs = non_trivial_term_consts isaconc
 		val _ = (message "Looking for consts:";
-			 writeln (commas cs))
+			 message (commas cs))
 		val pot_thms = Shuffler.find_potential thy isaconc
 		val _ = message ((Int.toString (length pot_thms)) ^ " potential theorems")
 	    in
isabelle