1.1 --- a/src/Tools/isac/Knowledge/Equation.thy	Mon Oct 31 18:28:36 2022 +0100
     1.2 +++ b/src/Tools/isac/Knowledge/Equation.thy	Mon Nov 07 17:37:20 2022 +0100
     1.3 @@ -72,8 +72,8 @@
     1.4    Problem_Ref: "univariate/equation"
     1.5  
     1.6  method met_equ : "Equation" =
     1.7 -  \<open>{rew_ord' = "tless_true", rls' = Rule_Set.Empty, calc = [], srls = Rule_Set.empty, 
     1.8 -    prls=Rule_Set.empty, crls = Atools_erls, errpats = [], nrls = Rule_Set.empty}\<close>
     1.9 +  \<open>{rew_ord = "tless_true", rls' = Rule_Set.Empty, calc = [], prog_rls = Rule_Set.empty, 
    1.10 +    where_rls=Rule_Set.empty, crls = Atools_erls, errpats = [], rew_rls = Rule_Set.empty}\<close>
    1.11  
    1.12  ML \<open>
    1.13  \<close> ML \<open>