1.1 --- a/src/Tools/isac/Knowledge/Equation.thy	Fri Jun 13 09:55:49 2014 +0200
     1.2 +++ b/src/Tools/isac/Knowledge/Equation.thy	Fri Jun 13 10:29:06 2014 +0200
     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 univariate_equation_prls))] *}
     1.8 +  (Context.theory_name @{theory}, prep_rls @{theory} univariate_equation_prls))] *}
     1.9  setup {* KEStore_Elems.add_pbts
    1.10    [(prep_pbt thy "pbl_equ" [] e_pblID
    1.11        (["equation"],