1.1 --- a/test/Tools/isac/ADDTESTS/course/SignalProcess/Build_Inverse_Z_Transform.thy Thu Aug 22 10:27:02 2019 +0200
1.2 +++ b/test/Tools/isac/ADDTESTS/course/SignalProcess/Build_Inverse_Z_Transform.thy Thu Aug 22 11:26:14 2019 +0200
1.3 @@ -126,7 +126,7 @@
1.4 Isabelle can handle best.\<close>
1.5 ML \<open>
1.6 val ctxt = Proof_Context.init_global @{theory};
1.7 - val ctxt = ContextC.declare_constraints' [@{term "z::real"}] ctxt;
1.8 +(*val ctxt = ContextC.declare_constraints' [@{term "z::real"}] ctxt;*)
1.9
1.10 val SOME fun1 =
1.11 TermC.parseNEW ctxt "X z = 3 / (z - 1/4 + -1/8 * z ^^^ -1)"; term2str fun1;