1.1 --- a/test/Tools/isac/ADDTESTS/course/SignalProcess/Build_Inverse_Z_Transform.thy	Mon Dec 12 22:35:44 2011 +0100
     1.2 +++ b/test/Tools/isac/ADDTESTS/course/SignalProcess/Build_Inverse_Z_Transform.thy	Fri Dec 16 11:34:32 2011 +0100
     1.3 @@ -817,8 +817,11 @@
     1.4  "      (eq_a::bool) = (Substitute [zzz=z1]) eq;"^
     1.5  "      eq_a = (Rewrite_Set norm_Rational False) eq_a;"^
     1.6  
     1.7 -"(*      (aaa::real) = argument_in eq_a;*)"^
     1.8 +"(*      (aaa::real) = Take argument_in eq_a;*)"^
     1.9  
    1.10 +"(*      (A::bool list) = (SubProblem (PolyEq'," ^
    1.11 +"          [univariate,equation],[no_met])" ^
    1.12 +"        [BOOL eq_a, REAL aaa]);*)"^
    1.13  
    1.14  "      (x::real) = 3"^(*only here that the last step of the ptree is visible in tracing output*)
    1.15