1.1 --- a/src/Tools/isac/Knowledge/Equation.thy	Sun Sep 22 17:28:55 2013 +0200
     1.2 +++ b/src/Tools/isac/Knowledge/Equation.thy	Sun Sep 22 18:09:05 2013 +0200
     1.3 @@ -48,6 +48,10 @@
     1.4  overwritelthy @{theory} (!ruleset',
     1.5  		   [("univariate_equation_prls",
     1.6  		     prep_rls univariate_equation_prls)]);
     1.7 +*}
     1.8 +setup {* KEStore_Elems.add_rlss [("univariate_equation_prls",
     1.9 +  (Context.theory_name @{theory}, prep_rls univariate_equation_prls))] *}
    1.10 +ML {*
    1.11  
    1.12  
    1.13  store_pbt