1.1 --- a/src/Tools/isac/ME/ctree.sml	Thu Aug 19 15:41:56 2010 +0200
     1.2 +++ b/src/Tools/isac/ME/ctree.sml	Fri Aug 20 12:25:37 2010 +0200
     1.3 @@ -227,11 +227,6 @@
     1.4  
     1.5  fun subte2sube ss = map term2str ss;
     1.6  
     1.7 -(*fun subst2str' thy' (s:subst) =
     1.8 -  (strs2str o 
     1.9 -   (map (pair2str o
    1.10 -	 (apsnd (Sign.string_of_term (sign_of (assoc_thy thy')))) o 
    1.11 -	 (apfst (Sign.string_of_term (sign_of (assoc_thy thy'))))))) s;*)
    1.12  fun subst2subs s = map (pair2str o 
    1.13  			(apfst (Syntax.string_of_term (thy2ctxt' "Isac"))) o
    1.14  			(apsnd (Syntax.string_of_term (thy2ctxt' "Isac")))) s;