
diff -r 46613d0a9fc9 -r ede4248a827b src/Tools/isac/Knowledge/Equation.thy
--- a/src/Tools/isac/Knowledge/Equation.thy	Fri Jun 13 09:55:49 2014 +0200
+++ b/src/Tools/isac/Knowledge/Equation.thy	Fri Jun 13 10:29:06 2014 +0200
@@ -46,7 +46,7 @@
 	       [Calc ("Tools.matches",eval_matches "")];
 *}
 setup {* KEStore_Elems.add_rlss [("univariate_equation_prls",
-  (Context.theory_name @{theory}, prep_rls univariate_equation_prls))] *}
+  (Context.theory_name @{theory}, prep_rls @{theory} univariate_equation_prls))] *}
 setup {* KEStore_Elems.add_pbts
   [(prep_pbt thy "pbl_equ" [] e_pblID
       (["equation"],




