1.1 --- a/src/Tools/isac/ME/mstools.sml	Wed Aug 18 16:03:27 2010 +0200
     1.2 +++ b/src/Tools/isac/ME/mstools.sml	Thu Aug 19 12:00:46 2010 +0200
     1.3 @@ -399,7 +399,7 @@
     1.4  fun getval (id, values) = 
     1.5      case values of
     1.6  	[] => raise error ("penv_value: no values in '"^
     1.7 -			   (Syntax.string_of_term (thy2ctxt "Tools") id))
     1.8 +			   (Syntax.string_of_term (thy2ctxt' "Tools") id))
     1.9        | [v] => (id, v)
    1.10        | (v1::v2::_) => (case v1 of 
    1.11  			     Const ("Script.Arbfix",_) => (id, v2)
    1.12 @@ -809,7 +809,7 @@
    1.13      "Mis "^ Syntax.string_of_term ctxt d ^
    1.14      " "^ Syntax.string_of_term ctxt pid
    1.15    | itm_2str_ ctxt (Par s) = "Trm "^s;
    1.16 -fun itm_2str t = itm_2str_ (thy2ctxt "Isac") t;
    1.17 +fun itm_2str t = itm_2str_ (thy2ctxt' "Isac") t;
    1.18  fun itm2str_ ctxt ((i,is,b,s,itm_):itm) = 
    1.19      "("^(string_of_int i)^" ,"^(ints2str' is)^" ,"^(bool2str b)^" ,"^
    1.20      s^" ,"^(itm_2str_ ctxt itm_)^")";