1.1 --- a/test/Tools/isac/ADDTESTS/course/SignalProcess/Build_Inverse_Z_Transform.thy Thu Nov 21 12:05:56 2019 +0100
1.2 +++ b/test/Tools/isac/ADDTESTS/course/SignalProcess/Build_Inverse_Z_Transform.thy Thu Nov 21 15:31:32 2019 +0100
1.3 @@ -1295,13 +1295,13 @@
1.4 (PolyEq',[abcFormula, degree_2, polynomial,
1.5 univariate, equation], no_meth)
1.6 [BOOL equ, REAL z]'
1.7 - ---> STac 'SubProblem (PolyEq',
1.8 + ---> Program.Tac 'SubProblem (PolyEq',
1.9 [abcFormula, degree_2, polynomial,
1.10 univariate, equation], no_meth)
1.11 [BOOL (-1 + -2 * z + 8 * z \^\^\^ ~2 = 0), REAL z]'
1.12 \end{verbatim}
1.13 We see the SubProblem with correct arguments from searching next
1.14 - step (program text !!!--->!!! STac (script tactic) with arguments
1.15 + step (program text !!!--->!!! Program.Tac (script tactic) with arguments
1.16 evaluated.)
1.17 \item Do we have the right Program \ldots difference in the
1.18 arguments in the arguments\ldots