1.1 --- a/src/Tools/isac/Knowledge/Equation.thy Thu Sep 12 14:42:53 2019 +0200
1.2 +++ b/src/Tools/isac/Knowledge/Equation.thy Fri Sep 13 18:35:51 2019 +0200
1.3 @@ -41,7 +41,7 @@
1.4 [Rule.Calc ("Prog_Expr.matches", Prog_Expr.eval_matches "")];
1.5 \<close>
1.6 setup \<open>KEStore_Elems.add_rlss [("univariate_equation_prls",
1.7 - (Context.theory_name @{theory}, LTool.prep_rls @{theory} univariate_equation_prls))]\<close>
1.8 + (Context.theory_name @{theory}, Auto_Prog.prep_rls @{theory} univariate_equation_prls))]\<close>
1.9 setup \<open>KEStore_Elems.add_pbts
1.10 [(Specify.prep_pbt thy "pbl_equ" [] Celem.e_pblID
1.11 (["equation"],