1.1 --- a/src/Tools/isac/Knowledge/Inverse_Z_Transform.thy Wed Apr 08 15:50:03 2020 +0200
1.2 +++ b/src/Tools/isac/Knowledge/Inverse_Z_Transform.thy Wed Apr 08 16:56:47 2020 +0200
1.3 @@ -27,7 +27,7 @@
1.4
1.5 ML \<open>
1.6 val inverse_z = prep_rls'(
1.7 - Rule_Def.Repeat {id = "inverse_z", preconds = [], rew_ord = ("dummy_ord",Rule.dummy_ord),
1.8 + Rule_Def.Repeat {id = "inverse_z", preconds = [], rew_ord = ("dummy_ord",Rewrite_Ord.dummy_ord),
1.9 erls = Rule_Set.Empty, srls = Rule_Set.Empty, calc = [], errpatts = [],
1.10 rules =
1.11 [