1.1 --- a/src/Tools/isac/Knowledge/DiophantEq.thy	Wed May 16 15:01:47 2012 +0200
     1.2 +++ b/src/Tools/isac/Knowledge/DiophantEq.thy	Wed May 16 15:47:22 2012 +0200
     1.3 @@ -45,7 +45,7 @@
     1.4     ("#Find"  ,["boolTestFind s_s"]) 
     1.5    ],
     1.6     {rew_ord' = "e_rew_ord", rls' = tval_rls, srls = e_rls,
     1.7 -    prls = e_rls, calc = [], crls = tval_rls, nrls = Test_simplify},
     1.8 +    prls = e_rls, calc = [], crls = tval_rls, errpats = [], nrls = Test_simplify},
     1.9   "Script Diophant_equation (e_e::bool) (v_v::int)=                  " ^
    1.10   "(Repeat                                                          " ^
    1.11   "    ((Try (Rewrite_Inst [(bdv,v_v::int)] int_isolate_add False)) @@" ^