1.1 --- a/test/Tools/isac/ADDTESTS/course/SignalProcess/Build_Inverse_Z_Transform.thy	Wed May 29 10:36:16 2019 +0200
     1.2 +++ b/test/Tools/isac/ADDTESTS/course/SignalProcess/Build_Inverse_Z_Transform.thy	Wed May 29 14:22:31 2019 +0200
     1.3 @@ -1052,7 +1052,7 @@
     1.4        side. The equation itself consists of this denominator and tries to find
     1.5        a $z$ for this the denominator is equal to zero.\<close>
     1.6  
     1.7 -ML \<open>
     1.8 +text \<open> dropped during switch from Script to partial_function:
     1.9    val str = 
    1.10      "Script InverseZTransform (X_eq::bool) =                         "^
    1.11      " (let X = Take X_eq;                                            "^
    1.12 @@ -1067,7 +1067,7 @@
    1.13       *)
    1.14      "      (equ::bool) = (denom = (0::real));                        "^
    1.15      "      (L_L::bool list) =                                        "^
    1.16 -    "            (SubProblem (TestX,                                 "^
    1.17 +    "            (SubProblem (Test,                                 "^
    1.18      "                         [LINEAR,univariate,equation,test],     "^
    1.19      "                         [Test,solve_linear])                   "^
    1.20      "                         [BOOL equ, REAL z])                    "^