1.1 --- a/test/Tools/isac/ADDTESTS/course/SignalProcess/Build_Inverse_Z_Transform.thy	Tue May 12 17:42:29 2020 +0200
     1.2 +++ b/test/Tools/isac/ADDTESTS/course/SignalProcess/Build_Inverse_Z_Transform.thy	Wed May 13 11:34:05 2020 +0200
     1.3 @@ -266,7 +266,7 @@
     1.4  text \<open>\noindent Check if the given equation matches the specification of this
     1.5          equation type.\<close>
     1.6  ML \<open>
     1.7 -  Specify.match_pbl fmz (Problem.from_store ["univariate","equation"]);
     1.8 +  Model.match_pbl fmz (Problem.from_store ["univariate","equation"]);
     1.9  \<close>
    1.10  
    1.11  text\<open>\noindent We switch up to the {\sisac} Context and try to solve the 
    1.12 @@ -290,7 +290,7 @@
    1.13          specification of this equation type.\<close>
    1.14          
    1.15  ML \<open>
    1.16 -  Specify.match_pbl fmz (Problem.from_store
    1.17 +  Model.match_pbl fmz (Problem.from_store
    1.18      ["abcFormula","degree_2","polynomial","univariate","equation"]);
    1.19  \<close>
    1.20  
    1.21 @@ -900,7 +900,7 @@
    1.22          NONE,
    1.23          [["SignalProcessing","Z_Transform","Inverse"]])]\<close>
    1.24  ML \<open>
    1.25 -  Specify.show_ptyps() ();
    1.26 +  Test_Tool.show_ptyps() ();
    1.27    Problem.from_store ["Inverse","Z_Transform","SignalProcessing"];
    1.28  \<close>
    1.29