1.1 --- a/test/Tools/isac/ADDTESTS/course/SignalProcess/Build_Inverse_Z_Transform.thy	Fri Oct 07 20:46:48 2022 +0200
     1.2 +++ b/test/Tools/isac/ADDTESTS/course/SignalProcess/Build_Inverse_Z_Transform.thy	Sat Oct 08 11:40:48 2022 +0200
     1.3 @@ -517,7 +517,7 @@
     1.4        the original \emph{srls}.\\
     1.5  
     1.6  \begin{verbatim}
     1.7 -  val {srls,...} = MethodC.from_store_PIDE ctxt ["SignalProcessing",
     1.8 +  val {srls,...} = MethodC.from_store ctxt ["SignalProcessing",
     1.9                              "Z_Transform",
    1.10                              "Inverse"];
    1.11  \end{verbatim}
    1.12 @@ -978,7 +978,7 @@
    1.13        the hierarchy.\<close>
    1.14  
    1.15  ML \<open>
    1.16 -  MethodC.from_store_PIDE ctxt ["SignalProcessing", "Z_Transform", "Inverse"];
    1.17 +  MethodC.from_store ctxt ["SignalProcessing", "Z_Transform", "Inverse"];
    1.18  \<close>
    1.19  
    1.20  section \<open>Program in TP-based language \label{prog-steps}\<close>
    1.21 @@ -1235,7 +1235,7 @@
    1.22        ) = O_Model.init thy fmz ((#ppc o Problem.from_store) pI);
    1.23  
    1.24    val Prog sc 
    1.25 -    = (#scr o MethodC.from_store_PIDE ctxt) ["SignalProcessing",
    1.26 +    = (#scr o MethodC.from_store ctxt) ["SignalProcessing",
    1.27                          "Z_Transform",
    1.28                          "Inverse"];
    1.29    atomty sc;
    1.30 @@ -1311,7 +1311,7 @@
    1.31           arguments in the arguments\ldots
    1.32           \begin{verbatim}
    1.33       val Prog s =
    1.34 -     (#scr o MethodC.from_store_PIDE ctxt) ["SignalProcessing",
    1.35 +     (#scr o MethodC.from_store ctxt) ["SignalProcessing",
    1.36                         "Z_Transform",
    1.37                         "Inverse"];
    1.38       writeln (UnparseC.term s);
    1.39 @@ -1595,7 +1595,7 @@
    1.40          parse-tree of the program with {\sisac}'s specific debug tools:
    1.41        \begin{verbatim}
    1.42        val {scr = Prog t,...} = 
    1.43 -        MethodC.from_store_PIDE ctxt ["simplification",
    1.44 +        MethodC.from_store ctxt ["simplification",
    1.45                   "of_rationals",
    1.46                   "to_partial_fraction"];
    1.47        atomty_thy @{theory "Inverse_Z_Transform"} t ;