1.1 --- a/src/Tools/isac/Knowledge/DiophantEq.thy	Fri May 07 13:23:24 2021 +0200
     1.2 +++ b/src/Tools/isac/Knowledge/DiophantEq.thy	Fri May 07 18:12:51 2021 +0200
     1.3 @@ -42,6 +42,8 @@
     1.4          {rew_ord' = "e_rew_ord", rls' = tval_rls, srls = Rule_Set.empty, prls = Rule_Set.empty, calc = [],
     1.5            crls = tval_rls, errpats = [], nrls = Test_simplify},
     1.6          @{thm diophant_equation.simps})]
     1.7 +\<close> ML \<open>
     1.8 +\<close> ML \<open>
     1.9  \<close>
    1.10  
    1.11 -end
    1.12 \ No newline at end of file
    1.13 +end