1.1 --- a/src/Tools/isac/Knowledge/Equation.thy Wed Feb 14 10:54:53 2018 +0100
1.2 +++ b/src/Tools/isac/Knowledge/Equation.thy Wed Feb 14 12:20:35 2018 +0100
1.3 @@ -46,7 +46,7 @@
1.4 [Calc ("Tools.matches",eval_matches "")];
1.5 *}
1.6 setup {* KEStore_Elems.add_rlss [("univariate_equation_prls",
1.7 - (Context.theory_name @{theory}, prep_rls @{theory} univariate_equation_prls))] *}
1.8 + (Context.theory_name @{theory}, LTool.prep_rls @{theory} univariate_equation_prls))] *}
1.9 setup {* KEStore_Elems.add_pbts
1.10 [(Specify.prep_pbt thy "pbl_equ" [] e_pblID
1.11 (["equation"],