1.1 --- a/test/Tools/isac/ADDTESTS/course/SignalProcess/document/Build_Inverse_Z_Transform.tex	Fri Oct 07 20:46:48 2022 +0200
     1.2 +++ b/test/Tools/isac/ADDTESTS/course/SignalProcess/document/Build_Inverse_Z_Transform.tex	Sat Oct 08 11:40:48 2022 +0200
     1.3 @@ -1002,7 +1002,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 @@ -2391,7 +2391,7 @@
    1.13           arguments in the arguments\ldots
    1.14           \begin{verbatim}
    1.15       val Prog s =
    1.16 -     (#scr o MethodC.from_store_PIDE ctxt) ["SignalProcessing",
    1.17 +     (#scr o MethodC.from_store ctxt) ["SignalProcessing",
    1.18                         "Z_Transform",
    1.19                         "Inverse"];
    1.20       writeln (UnparseC.term s);
    1.21 @@ -2698,7 +2698,7 @@
    1.22          parse-tree of the program with {\sisac}'s specific debug tools:
    1.23        \begin{verbatim}
    1.24        val {scr = Prog t,...} = 
    1.25 -        MethodC.from_store_PIDE ctxt ["simplification",
    1.26 +        MethodC.from_store ctxt ["simplification",
    1.27                   "of_rationals",
    1.28                   "to_partial_fraction"];
    1.29        atomty_thy @ { theory } t ;