1.1 --- a/src/Tools/isac/Knowledge/Equation.thy	Mon Nov 07 17:37:20 2022 +0100
     1.2 +++ b/src/Tools/isac/Knowledge/Equation.thy	Mon Nov 07 19:49:14 2022 +0100
     1.3 @@ -73,7 +73,7 @@
     1.4  
     1.5  method met_equ : "Equation" =
     1.6    \<open>{rew_ord = "tless_true", rls' = Rule_Set.Empty, calc = [], prog_rls = Rule_Set.empty, 
     1.7 -    where_rls=Rule_Set.empty, crls = Atools_erls, errpats = [], rew_rls = Rule_Set.empty}\<close>
     1.8 +    where_rls=Rule_Set.empty, errpats = [], rew_rls = Rule_Set.empty}\<close>
     1.9  
    1.10  ML \<open>
    1.11  \<close> ML \<open>