1.1 --- a/test/Tools/isac/ADDTESTS/course/SignalProcess/Build_Inverse_Z_Transform.thy Thu Sep 29 18:02:10 2022 +0200
1.2 +++ b/test/Tools/isac/ADDTESTS/course/SignalProcess/Build_Inverse_Z_Transform.thy Fri Oct 07 20:46: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 ["SignalProcessing",
1.8 + val {srls,...} = MethodC.from_store_PIDE 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 ["SignalProcessing", "Z_Transform", "Inverse"];
1.17 + MethodC.from_store_PIDE 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) ["SignalProcessing",
1.26 + = (#scr o MethodC.from_store_PIDE 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) ["SignalProcessing",
1.35 + (#scr o MethodC.from_store_PIDE 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 ["simplification",
1.44 + MethodC.from_store_PIDE ctxt ["simplification",
1.45 "of_rationals",
1.46 "to_partial_fraction"];
1.47 atomty_thy @{theory "Inverse_Z_Transform"} t ;