1.1 --- a/src/Tools/isac/Knowledge/Equation.thy	Thu Oct 24 14:08:32 2013 +0200
     1.2 +++ b/src/Tools/isac/Knowledge/Equation.thy	Thu Oct 24 15:00:44 2013 +0200
     1.3 @@ -44,10 +44,6 @@
     1.4  val univariate_equation_prls = 
     1.5      append_rls "univariate_equation_prls" e_rls 
     1.6  	       [Calc ("Tools.matches",eval_matches "")];
     1.7 -ruleset' := 
     1.8 -overwritelthy @{theory} (!ruleset',
     1.9 -		   [("univariate_equation_prls",
    1.10 -		     prep_rls univariate_equation_prls)]);
    1.11  *}
    1.12  setup {* KEStore_Elems.add_rlss [("univariate_equation_prls",
    1.13    (Context.theory_name @{theory}, prep_rls univariate_equation_prls))] *}