1.1 --- a/test/Tools/isac/OLDTESTS/root-equ.sml	Mon Jan 14 18:29:57 2019 +0100
     1.2 +++ b/test/Tools/isac/OLDTESTS/root-equ.sml	Tue Jan 22 09:33:11 2019 +0100
     1.3 @@ -480,9 +480,9 @@
     1.4  val (p,_,f,nxt,_,pt)=
     1.5  me ("Rewrite_Set",Rewrite_Set "Test_simplify") p [14] pt;
     1.6  "--- 10 ---.";
     1.7 -get_form ("Rewrite_Set_Inst",Rewrite_Set_Inst (["(bdv,x)"],"isolate_bdv")) p pt;
     1.8 +get_form ("Rewrite_Set_Inst",Rewrite_Set_Inst (["(''bdv'',x)"],"isolate_bdv")) p pt;
     1.9  val (p,_,f,nxt,_,pt)=
    1.10 -me ("Rewrite_Set",Rewrite_Set_Inst (["(bdv,x)"],"isolate_bdv")) p [15] pt;
    1.11 +me ("Rewrite_Set",Rewrite_Set_Inst (["(''bdv'',x)"],"isolate_bdv")) p [15] pt;
    1.12  "--- 11 ---";
    1.13  get_form ("Rewrite_Set",Rewrite_Set "Test_simplify") p pt;
    1.14  val ((p,p_),_,f,nxt,_,pt)=
    1.15 @@ -581,7 +581,7 @@
    1.16  \Try (Rewrite_Set Test_simplify False)) @@\
    1.17  \Try (Rewrite_Set norm_equation False) @@\
    1.18  \Try (Rewrite_Set Test_simplify False) @@\
    1.19 -\Rewrite_Set_Inst [(bdv, v_v)] isolate_bdv False @@\
    1.20 +\Rewrite_Set_Inst [(''bdv'', v_v)] isolate_bdv False @@\
    1.21  \Try (Rewrite_Set Test_simplify False))\
    1.22  \e_)";
    1.23  
    1.24 @@ -619,7 +619,7 @@
    1.25  val nxt = ("Rewrite_Set",Rewrite_Set "Test_simplify");
    1.26  val (p,_,f,nxt,_,pt) = me nxt p c pt;
    1.27  "--- 12<> ---";
    1.28 -val nxt = ("Rewrite_Set_Inst",Rewrite_Set_Inst (["(bdv,x)"],"isolate_bdv"));
    1.29 +val nxt = ("Rewrite_Set_Inst",Rewrite_Set_Inst (["(''bdv'',x)"],"isolate_bdv"));
    1.30  val (p,_,f,nxt,_,pt) = me nxt p c pt;
    1.31  "--- 13<> ---";
    1.32  val nxt = ("Rewrite_Set",Rewrite_Set "Test_simplify");