1.1 --- a/src/Tools/isac/Knowledge/Inverse_Z_Transform.thy	Wed May 08 18:45:25 2019 +0200
     1.2 +++ b/src/Tools/isac/Knowledge/Inverse_Z_Transform.thy	Fri May 10 15:59:58 2019 +0200
     1.3 @@ -94,7 +94,7 @@
     1.4        fun_arg = Take (lhs X');                                                      
     1.5        arg = (Rewrite_Set ''partial_fraction'' False) X';                     \<comment> \<open>get_argument TODO\<close>      
     1.6        L_L = SubProblem (''Test'', [''LINEAR'',''univariate'',''equation'',''test''],         
     1.7 -                [''Test'',''solve_linear'']) [BOOL equ, REAL z]              \<comment> \<open>PROG --> as arg\<close>
     1.8 +                [''Test'',''solve_linear'']) [BOOL equ, REAL z]
     1.9    in X) "
    1.10  *)
    1.11  setup \<open>KEStore_Elems.add_mets