1.1 --- a/src/Tools/isac/Knowledge/Inverse_Z_Transform.thy	Thu Nov 21 11:17:42 2013 +0100
     1.2 +++ b/src/Tools/isac/Knowledge/Inverse_Z_Transform.thy	Thu Nov 21 11:46:00 2013 +0100
     1.3 @@ -111,7 +111,7 @@
     1.4  "      arg = (Rewrite_Set partial_fraction False) X';" ^ (*get_argument TODO*)
     1.5  "      (L_L::bool list) =                                    " ^
     1.6  "            (SubProblem (Test',                            " ^
     1.7 -"                         [linear,univariate,equation,test]," ^
     1.8 +"                         [LINEAR,univariate,equation,test]," ^
     1.9  "                         [Test,solve_linear])              " ^
    1.10  "                        [BOOL equ, REAL z])              " ^
    1.11  "  in X)"