1.1 --- a/src/Tools/isac/Knowledge/DiophantEq.thy	Thu Mar 15 15:48:52 2018 +0100
     1.2 +++ b/src/Tools/isac/Knowledge/DiophantEq.thy	Fri Mar 23 10:14:39 2018 +0100
     1.3 @@ -36,7 +36,7 @@
     1.4            (*                                      TODO: drop ^^^^^*)
     1.5            ("#Where" ,[]),
     1.6            ("#Find"  ,["boolTestFind s_s"])],
     1.7 -        {rew_ord' = "xxxe_rew_ordxxx", rls' = tval_rls, srls = Celem.e_rls, prls = Celem.e_rls, calc = [],
     1.8 +        {rew_ord' = "e_rew_ord", rls' = tval_rls, srls = Celem.e_rls, prls = Celem.e_rls, calc = [],
     1.9            crls = tval_rls, errpats = [], nrls = Test_simplify},
    1.10          "Script Diophant_equation (e_e::bool) (v_v::int)=                  " ^
    1.11            "(Repeat                                                          " ^