1.1 --- a/test/Tools/isac/ADDTESTS/course/SignalProcess/Build_Inverse_Z_Transform.thy	Mon Jan 14 18:29:57 2019 +0100
     1.2 +++ b/test/Tools/isac/ADDTESTS/course/SignalProcess/Build_Inverse_Z_Transform.thy	Tue Jan 22 09:33:11 2019 +0100
     1.3 @@ -763,7 +763,7 @@
     1.4    val (p,_,fa,nxt,_,pt) = me nxt p [] pt;
     1.5      (*Rewrite ("all_left","PolyEq.all_left")*)
     1.6    val (p,_,fa,nxt,_,pt) = me nxt p [] pt;
     1.7 -    (*Rewrite_Set_Inst(["(bdv,A)"],"make_ratpoly_in")*)
     1.8 +    (*Rewrite_Set_Inst(["(''bdv'',A)"],"make_ratpoly_in")*)
     1.9    val (p,_,fa,nxt,_,pt) = me nxt p [] pt;
    1.10      (*Rewrite_Set "polyeq_simplify"*)
    1.11    val (p,_,fa,nxt,_,pt) = me nxt p [] pt; 
    1.12 @@ -780,7 +780,7 @@
    1.13    val (p,_,fa,nxt,_,pt) = me nxt p [] pt; 
    1.14      (*Apply_Method ["PolyEq","solve_d1_polyeq_equation"]*)
    1.15    val (p,_,fa,nxt,_,pt) = me nxt p [] pt;
    1.16 -    (*Rewrite_Set_Inst(["(bdv,A)"],"d1_polyeq_simplify")*)
    1.17 +    (*Rewrite_Set_Inst(["(''bdv'',A)"],"d1_polyeq_simplify")*)
    1.18    val (p,_,fa,nxt,_,pt) = me nxt p [] pt;
    1.19      (*Rewrite_Set "polyeq_simplify"*)
    1.20    val (p,_,fa,nxt,_,pt) = me nxt p [] pt;
    1.21 @@ -1390,7 +1390,7 @@
    1.22    val (p,_,f,nxt,_,pt) = me nxt p [] pt; 
    1.23      (*Apply_Method [PolyEq,solve_d2_polyeq_abc_equation";*)
    1.24    val (p,_,f,nxt,_,pt) = me nxt p [] pt;
    1.25 -    (*Rewrite_Set_Inst ([(bdv, z)], d2_polyeq_abcFormula_simplify";*)
    1.26 +    (*Rewrite_Set_Inst [(''bdv'', z)], d2_polyeq_abcFormula_simplify";*)
    1.27    val (p,_,f,nxt,_,pt) = me nxt p [] pt;
    1.28    val (p,_,f,nxt,_,pt) = me nxt p [] pt;
    1.29    val (p,_,f,nxt,_,pt) = me nxt p [] pt;
    1.30 @@ -1416,7 +1416,7 @@
    1.31    val (p,_,f,nxt,_,pt) = me nxt p [] pt;
    1.32      (*Rewrite ("all_left", "PolyEq.all_left")*)
    1.33    val (p,_,f,nxt,_,pt) = me nxt p [] pt;
    1.34 -    (*Rewrite_Set_Inst (["(bdv, A)"], "make_ratpoly_in")*)
    1.35 +    (*Rewrite_Set_Inst (["(''bdv'', A)"], "make_ratpoly_in")*)
    1.36    val (p,_,f,nxt,_,pt) = me nxt p [] pt; 
    1.37      (*Rewrite_Set "polyeq_simplify"*)
    1.38    val (p,_,f,nxt,_,pt) = me nxt p [] pt;