1.1 --- a/src/Tools/isac/Knowledge/Equation.thy	Tue Aug 31 16:00:13 2010 +0200
     1.2 +++ b/src/Tools/isac/Knowledge/Equation.thy	Tue Aug 31 16:38:22 2010 +0200
     1.3 @@ -32,7 +32,7 @@
     1.4      append_rls "univariate_equation_prls" e_rls 
     1.5  	       [Calc ("Tools.matches",eval_matches "")];
     1.6  ruleset' := 
     1.7 -overwritelthy thy (!ruleset',
     1.8 +overwritelthy @{theory} (!ruleset',
     1.9  		   [("univariate_equation_prls",
    1.10  		     prep_rls univariate_equation_prls)]);
    1.11