1.1 --- a/src/Tools/isac/Scripts/rewrite.sml	Thu Aug 19 15:36:02 2010 +0200
     1.2 +++ b/src/Tools/isac/Scripts/rewrite.sml	Thu Aug 19 15:41:56 2010 +0200
     1.3 @@ -354,8 +354,8 @@
     1.4  
     1.5  
     1.6  (* for test-printouts:
     1.7 -val _ = writeln("in rew_sub  : "^( Sign.string_of_term (sign_of thy) t))
     1.8 -val _ = writeln("in eval_true: prems= "^(commas (map (Sign.string_of_term (sign_of thy)) prems')))
     1.9 +val _ = writeln("in rew_sub  : "^( Syntax.string_of_term (thy2ctxt thy) t))
    1.10 +val _ = writeln("in eval_true: prems= "^(commas (map (Syntax.string_of_term (thy2ctxt thy)) prems')))
    1.11  *)
    1.12  
    1.13