1.1 --- a/src/Tools/isac/ME/appl.sml	Thu Aug 19 15:41:56 2010 +0200
     1.2 +++ b/src/Tools/isac/ME/appl.sml	Fri Aug 20 12:25:37 2010 +0200
     1.3 @@ -113,7 +113,7 @@
     1.4     ("#0 <= x ^^^ #2 + #5 * x",[33]),("#0 <= #2 + x",[44])];
     1.5  > val p = [];
     1.6  > val (sss,ttt) = mk_set thy pt p consts pred;
     1.7 -> (Syntax.string_of_term (thy2ctxt thy) sss,Sign.string_of_term(sign_of thy) ttt);
     1.8 +> (Syntax.string_of_term (thy2ctxt thy) sss,Syntax.string_of_term(thy2ctxt thy) ttt);
     1.9  val it = ("x","((#0 <= sqrt x + sqrt (#5 + x) & #0 <= #9 + #4 * x) & ...
    1.10  
    1.11   val consts = str2term "UniversalList";