1.1 --- a/src/Tools/isac/ProgLang/rewrite.sml	Fri Oct 01 17:27:55 2010 +0200
     1.2 +++ b/src/Tools/isac/ProgLang/rewrite.sml	Fri Oct 01 18:25:06 2010 +0200
     1.3 @@ -190,10 +190,6 @@
     1.4  		    (let val subst: Type.tyenv * Envir.tenv = 
     1.5  			     Pattern.match thy (pat, t)
     1.6  					    (Vartab.empty, Vartab.empty)
     1.7 -			 val _ = tracing ("app_rev: pres=------------------");
     1.8 -			 val _ = tracing ("app_rev: pres=" ^ terms2str pres);
     1.9 -			 val _ = tracing ("app_rev: pat =" ^ term2str pat);
    1.10 -			 val _ = tracing ("app_rev: t   =" ^ term2str t);
    1.11  		     in snd (eval__true thy (i+1) 
    1.12  					(map (Envir.subst_term subst) pres)
    1.13  					[] erls)