1.1 --- a/test/Tools/isac/ADDTESTS/course/SignalProcess/Build_Inverse_Z_Transform.thy	Tue Feb 13 16:17:59 2018 +0100
     1.2 +++ b/test/Tools/isac/ADDTESTS/course/SignalProcess/Build_Inverse_Z_Transform.thy	Wed Feb 14 06:06:27 2018 +0100
     1.3 @@ -759,9 +759,9 @@
     1.4      (*Specify_Problem ["normalise","polynomial",
     1.5                         "univariate","equation"])*)
     1.6    val (p,_,fa,nxt,_,pt) = me nxt p [] pt;
     1.7 -    (* Specify_Method["PolyEq","normalize_poly"]*)
     1.8 +    (* Specify_Method["PolyEq","normalise_poly"]*)
     1.9    val (p,_,fa,nxt,_,pt) = me nxt p [] pt;
    1.10 -    (*Apply_Method["PolyEq","normalize_poly"]*)
    1.11 +    (*Apply_Method["PolyEq","normalise_poly"]*)
    1.12    val (p,_,fa,nxt,_,pt) = me nxt p [] pt;
    1.13      (*Rewrite ("all_left","PolyEq.all_left")*)
    1.14    val (p,_,fa,nxt,_,pt) = me nxt p [] pt;
    1.15 @@ -1412,9 +1412,9 @@
    1.16    val (p,_,f,nxt,_,pt) = me nxt p [] pt;
    1.17      (*Specify_Problem ["normalise","polynomial","univariate","equation"]*)
    1.18    val (p,_,f,nxt,_,pt) = me nxt p [] pt;
    1.19 -    (*Specify_Method ["PolyEq", "normalize_poly"]*)
    1.20 +    (*Specify_Method ["PolyEq", "normalise_poly"]*)
    1.21    val (p,_,f,nxt,_,pt) = me nxt p [] pt;
    1.22 -    (*Apply_Method ["PolyEq", "normalize_poly"]*)
    1.23 +    (*Apply_Method ["PolyEq", "normalise_poly"]*)
    1.24    val (p,_,f,nxt,_,pt) = me nxt p [] pt;
    1.25      (*Rewrite ("all_left", "PolyEq.all_left")*)
    1.26    val (p,_,f,nxt,_,pt) = me nxt p [] pt;