1.1 --- a/test/Tools/isac/ADDTESTS/course/SignalProcess/Build_Inverse_Z_Transform.thy	Wed Jul 31 09:46:50 2019 +0200
     1.2 +++ b/test/Tools/isac/ADDTESTS/course/SignalProcess/Build_Inverse_Z_Transform.thy	Fri Aug 09 14:04:13 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 = Stool.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;