src/HOL/Tools/ATP/recon_transfer_proof.ML
changeset 18797 8559cc115673
parent 18700 f04a8755d6ca
child 19046 bc5c6c9b114e
     1.1 --- a/src/HOL/Tools/ATP/recon_transfer_proof.ML	Fri Jan 27 18:28:55 2006 +0100
     1.2 +++ b/src/HOL/Tools/ATP/recon_transfer_proof.ML	Fri Jan 27 18:29:11 2006 +0100
     1.3 @@ -268,7 +268,7 @@
     1.4  (*The signal handler in watcher.ML must be able to read the output of this.*)
     1.5  fun prover_lemma_list_aux getax proofstr probfile toParent ppid clause_arr = 
     1.6   let val _ = trace
     1.7 -               ("\nGetting lemma names. proofstr is " ^ proofstr ^
     1.8 +               ("\n\nGetting lemma names. proofstr is " ^ proofstr ^
     1.9                  "\nprobfile is " ^ probfile ^
    1.10                  "  num of clauses is " ^ string_of_int (Array.length clause_arr))
    1.11       val axiom_names = getax proofstr clause_arr