1.1 --- a/src/Tools/isac/Knowledge/RootRatEq.thy	Sun Sep 22 17:28:55 2013 +0200
     1.2 +++ b/src/Tools/isac/Knowledge/RootRatEq.thy	Sun Sep 22 18:09:05 2013 +0200
     1.3 @@ -111,8 +111,9 @@
     1.4  
     1.5  ruleset' := overwritelthy @{theory} (!ruleset',
     1.6  	     [("RooRatEq_erls",RooRatEq_erls) (*FIXXXME:del with rls.rls'*)]);
     1.7 -
     1.8  *}
     1.9 +setup {* KEStore_Elems.add_rlss
    1.10 +  [("RooRatEq_erls", (Context.theory_name @{theory}, RooRatEq_erls))] *}
    1.11  ML {*
    1.12  (* Solves a rootrat Equation *)
    1.13   val rootrat_solve = prep_rls(
    1.14 @@ -136,6 +137,8 @@
    1.15  			[("rootrat_solve",rootrat_solve)
    1.16  			 ]);
    1.17  *}
    1.18 +setup {* KEStore_Elems.add_rlss
    1.19 +  [("rootrat_solve", (Context.theory_name @{theory}, rootrat_solve))] *}
    1.20  ML {*
    1.21  
    1.22  (*-----------------------probleme------------------------*)