src/Pure/tactic.ML
changeset 5956 ab4d13e9e77a
parent 5838 a4122945d638
child 5974 6acf3ff0f486
     1.1 --- a/src/Pure/tactic.ML	Wed Nov 25 13:57:17 1998 +0100
     1.2 +++ b/src/Pure/tactic.ML	Wed Nov 25 13:57:44 1998 +0100
     1.3 @@ -102,7 +102,7 @@
     1.4  fun trace_goalno_tac tac i st =  
     1.5      case Seq.pull(tac i st) of
     1.6  	None    => Seq.empty
     1.7 -      | seqcell => (prs("Subgoal " ^ string_of_int i ^ " selected\n"); 
     1.8 +      | seqcell => (writeln ("Subgoal " ^ string_of_int i ^ " selected"); 
     1.9      			 Seq.make(fn()=> seqcell));
    1.10  
    1.11