1.1 --- a/src/Tools/isac/Knowledge/Inverse_Z_Transform.thy	Mon May 27 19:53:00 2019 +0200
     1.2 +++ b/src/Tools/isac/Knowledge/Inverse_Z_Transform.thy	Mon May 27 20:20:34 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]
     1.8 +                [''Test'',''solve_linear'']) [BOOL equ, REAL z]               \<comment> \<open>PROG string\<close>
     1.9    in X) "
    1.10  *)
    1.11  setup \<open>KEStore_Elems.add_mets