1.1 --- a/src/Tools/isac/Knowledge/Inverse_Z_Transform.thy	Mon Dec 31 14:15:19 2018 +0100
     1.2 +++ b/src/Tools/isac/Knowledge/Inverse_Z_Transform.thy	Mon Dec 31 14:49:16 2018 +0100
     1.3 @@ -197,8 +197,8 @@
     1.4                rules = [Rule.Thm ("NTH_CONS", @{thm NTH_CONS}),
     1.5                    Rule.Calc ("Groups.plus_class.plus", eval_binop "#add_"),
     1.6                    Rule.Thm ("NTH_NIL", @{thm NTH_NIL}),
     1.7 -                  Rule.Calc ("Tools.lhs", eval_lhs "eval_lhs_"),
     1.8 -                  Rule.Calc ("Tools.rhs", eval_rhs"eval_rhs_"),
     1.9 +                  Rule.Calc ("Tools.lhs", Tools.eval_lhs "eval_lhs_"),
    1.10 +                  Rule.Calc ("Tools.rhs", Tools.eval_rhs"eval_rhs_"),
    1.11                    Rule.Calc ("Atools.argument'_in", eval_argument_in "Atools.argument'_in"),
    1.12                    Rule.Calc ("Rational.get_denominator", eval_get_denominator "#get_denominator"),
    1.13                    Rule.Calc ("Rational.get_numerator", eval_get_numerator "#get_numerator"),