1.1 --- a/src/Tools/isac/Knowledge/Inverse_Z_Transform.thy	Mon Aug 26 09:20:07 2019 +0200
     1.2 +++ b/src/Tools/isac/Knowledge/Inverse_Z_Transform.thy	Mon Aug 26 17:40:27 2019 +0200
     1.3 @@ -103,7 +103,7 @@
     1.4      X'_z = lhs X';
     1.5      zzz = argument_in X'_z;
     1.6      funterm = rhs X';
     1.7 -    pbz = SubProblem (''Isac'',
     1.8 +    pbz = SubProblem (''Isac_Knowledge'',
     1.9        [''partial_fraction'',''rational'',''simplification''],
    1.10        [''simplification'',''of_rationals'',''to_partial_fraction''])
    1.11        [REAL funterm, REAL zzz];