1.1 --- a/test/Tools/isac/ADDTESTS/course/SignalProcess/Build_Inverse_Z_Transform.thy	Wed Apr 22 11:23:30 2020 +0200
     1.2 +++ b/test/Tools/isac/ADDTESTS/course/SignalProcess/Build_Inverse_Z_Transform.thy	Wed Apr 22 14:36:27 2020 +0200
     1.3 @@ -883,8 +883,8 @@
     1.4        \em Z\_Transform\normalfont.\<close>
     1.5  
     1.6  setup \<open>KEStore_Elems.add_pbts
     1.7 -  [prep_pbt thy "pbl_SP" [] e_pblID (["SignalProcessing"], [], Rule_Set.empty, NONE, []),
     1.8 -    prep_pbt thy "pbl_SP_Ztrans" [] e_pblID
     1.9 +  [prep_pbt thy "pbl_SP" [] Problem.id_empty (["SignalProcessing"], [], Rule_Set.empty, NONE, []),
    1.10 +    prep_pbt thy "pbl_SP_Ztrans" [] Problem.id_empty
    1.11        (["Z_Transform","SignalProcessing"], [], Rule_Set.empty, NONE, [])]\<close>
    1.12  
    1.13  text\<open>\noindent For the suddenly created node we have to define the input
    1.14 @@ -892,7 +892,7 @@
    1.15         Section~\ref{sec:deffdes}.\<close>
    1.16  
    1.17  setup \<open>KEStore_Elems.add_pbts
    1.18 -  [prep_pbt thy "pbl_SP_Ztrans_inv" [] e_pblID
    1.19 +  [prep_pbt thy "pbl_SP_Ztrans_inv" [] Problem.id_empty
    1.20        (["Inverse", "Z_Transform", "SignalProcessing"],
    1.21          [("#Given" ,["filterExpression X_eq"]),
    1.22            ("#Find", ["stepResponse n_eq"])],