1.1 --- a/test/Tools/isac/ME/ctree.sml	Tue Aug 17 09:05:51 2010 +0200
     1.2 +++ b/test/Tools/isac/ME/ctree.sml	Wed Aug 18 13:40:09 2010 +0200
     1.3 @@ -72,13 +72,13 @@
     1.4  val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))];
     1.5  val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
     1.6  (* nxt = Add_Given "equality (x + 1 = 2)"
     1.7 -   (writeln o (itms2str thy)) (get_obj g_pbl pt (fst p));
     1.8 +   (writeln o (itms2str_ ctxt)) (get_obj g_pbl pt (fst p));
     1.9     *)
    1.10  val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
    1.11 -(* (writeln o (itms2str thy)) (get_obj g_pbl pt (fst p));
    1.12 +(* (writeln o (itms2str_ ctxt)) (get_obj g_pbl pt (fst p));
    1.13     *)
    1.14  val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
    1.15 -(* (writeln o (itms2str thy)) (get_obj g_pbl pt (fst p));
    1.16 +(* (writeln o (itms2str_ ctxt)) (get_obj g_pbl pt (fst p));
    1.17     *)
    1.18  val (p,_,f,nxt,_,pt) = me nxt p [1] pt;val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
    1.19  val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
    1.20 @@ -421,13 +421,13 @@
    1.21  val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))];
    1.22  val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
    1.23  (* nxt = Add_Given "equality (x + 1 = 2)"
    1.24 -   (writeln o (itms2str thy)) (get_obj g_pbl pt (fst p));
    1.25 +   (writeln o (itms2str_ ctxt)) (get_obj g_pbl pt (fst p));
    1.26     *)
    1.27  val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
    1.28 -(* (writeln o (itms2str thy)) (get_obj g_pbl pt (fst p));
    1.29 +(* (writeln o (itms2str_ ctxt)) (get_obj g_pbl pt (fst p));
    1.30     *)
    1.31  val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
    1.32 -(* (writeln o (itms2str thy)) (get_obj g_pbl pt (fst p));
    1.33 +(* (writeln o (itms2str_ ctxt)) (get_obj g_pbl pt (fst p));
    1.34     *)
    1.35  val (p,_,f,nxt,_,pt) = me nxt p [1] pt;val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
    1.36  val (p,_,f,nxt,_,pt) = me nxt p [1] pt;