1.1 --- a/src/Tools/isac/Knowledge/Inverse_Z_Transform.thy	Thu Mar 07 17:22:20 2019 +0100
     1.2 +++ b/src/Tools/isac/Knowledge/Inverse_Z_Transform.thy	Thu Mar 07 17:29:30 2019 +0100
     1.3 @@ -141,7 +141,7 @@
     1.4        (denom::real) = get_denominator funterm;                                \<comment> \<open>get_denominator\<close>
     1.5        (num::real) = get_numerator funterm;                                      \<comment> \<open>get_numerator\<close>
     1.6        (equ::bool) = (denom = (0::real));                                          
     1.7 -      (L_L::bool list) = (SubProblem (''PolyEq'',                                 
     1.8 +      (L_L::bool list) = (SubProblem (''Partial_Fractions'',                                 
     1.9           [''abcFormula'',''degree_2'',''polynomial'',''univariate'',''equation''],
    1.10           [''no_met''])                                                            
    1.11           [BOOL equ, REAL zzz]);                                                   
    1.12 @@ -199,7 +199,7 @@
    1.13             "      (num::real) = get_numerator funterm;                     "^
    1.14             (*get_numerator*)
    1.15             "      (equ::bool) = (denom = (0::real));                       "^
    1.16 -           "      (L_L::bool list) = (SubProblem (''PolyEq'',                 "^
    1.17 +           "      (L_L::bool list) = (SubProblem (''Partial_Fractions'',                 "^
    1.18             "         [''abcFormula'',''degree_2'',''polynomial'',''univariate'',''equation''], "^
    1.19             "         [''no_met''])                                             "^
    1.20             "         [BOOL equ, REAL zzz]);                                "^