1.1 --- a/src/Tools/isac/Knowledge/Inverse_Z_Transform.thy	Fri Jun 17 12:15:09 2022 +0200
     1.2 +++ b/src/Tools/isac/Knowledge/Inverse_Z_Transform.thy	Sat Jun 18 12:34:29 2022 +0200
     1.3 @@ -3,7 +3,7 @@
     1.4     (c) copyright due to lincense terms.
     1.5  *)
     1.6  
     1.7 -theory Inverse_Z_Transform imports PolyEq DiffApp Partial_Fractions begin
     1.8 +theory Inverse_Z_Transform imports PolyEq Diff_App Partial_Fractions begin
     1.9  
    1.10  axiomatization where       \<comment> \<open>TODO: new variables on the rhs enforce replacement by substitution\<close>
    1.11    rule1: "1 = \<delta>[n]" and