1.1 --- a/test/Tools/isac/ADDTESTS/course/SignalProcess/Build_Inverse_Z_Transform.thy	Sat Feb 10 16:21:12 2018 +0100
     1.2 +++ b/test/Tools/isac/ADDTESTS/course/SignalProcess/Build_Inverse_Z_Transform.thy	Tue Feb 13 15:14:55 2018 +0100
     1.3 @@ -756,7 +756,7 @@
     1.4    val (p,_,fa,nxt,_,pt) = me nxt p [] pt;
     1.5      (*Specify_Theory "Isac"*)
     1.6    val (p,_,fa,nxt,_,pt) = me nxt p [] pt;
     1.7 -    (*Specify_Problem ["normalize","polynomial",
     1.8 +    (*Specify_Problem ["normalise","polynomial",
     1.9                         "univariate","equation"])*)
    1.10    val (p,_,fa,nxt,_,pt) = me nxt p [] pt;
    1.11      (* Specify_Method["PolyEq","normalize_poly"]*)
    1.12 @@ -795,7 +795,7 @@
    1.13      (*Check_Postcond ["degree_1","polynomial",
    1.14                        "univariate","equation"]*)
    1.15    val (p,_,fa,nxt,_,pt) = me nxt p [] pt;
    1.16 -    (*Check_Postcond ["normalize","polynomial",
    1.17 +    (*Check_Postcond ["normalise","polynomial",
    1.18                        "univariate","equation"]*)
    1.19    val (p,_,fa,nxt,_,pt) = me nxt p [] pt;
    1.20      (*End_Proof'*)
    1.21 @@ -1410,7 +1410,7 @@
    1.22    val (p,_,f,nxt,_,pt) = me nxt p [] pt;
    1.23    val (p,_,f,nxt,_,pt) = me nxt p [] pt;
    1.24    val (p,_,f,nxt,_,pt) = me nxt p [] pt;
    1.25 -    (*Specify_Problem ["normalize","polynomial","univariate","equation"]*)
    1.26 +    (*Specify_Problem ["normalise","polynomial","univariate","equation"]*)
    1.27    val (p,_,f,nxt,_,pt) = me nxt p [] pt;
    1.28      (*Specify_Method ["PolyEq", "normalize_poly"]*)
    1.29    val (p,_,f,nxt,_,pt) = me nxt p [] pt;