1.1 --- a/test/Tools/isac/ADDTESTS/course/SignalProcess/Build_Inverse_Z_Transform.thy Tue Mar 31 15:43:33 2020 +0200
1.2 +++ b/test/Tools/isac/ADDTESTS/course/SignalProcess/Build_Inverse_Z_Transform.thy Wed Apr 01 10:24:13 2020 +0200
1.3 @@ -1243,7 +1243,7 @@
1.4
1.5 ML \<open>
1.6 trace_rewrite := false; (*true*)
1.7 - trace_script := false; (*true*)
1.8 + trace_LI := false; (*true*)
1.9 print_depth 9;
1.10
1.11 val fmz =
1.12 @@ -1492,7 +1492,7 @@
1.13 \<close>
1.14
1.15 ML \<open>
1.16 -trace_script := true;
1.17 +trace_LI := true;
1.18 \<close>
1.19 ML \<open>
1.20 val (p,_,f,nxt,_,pt) = me nxt p [] pt;