1.1 --- a/src/Tools/isac/Knowledge/Base_Tools.thy	Wed May 26 16:19:41 2021 +0200
     1.2 +++ b/src/Tools/isac/Knowledge/Base_Tools.thy	Wed May 26 16:24:05 2021 +0200
     1.3 @@ -147,9 +147,10 @@
     1.4      rules = [], scr = Rule.Empty_Prog})
     1.5    prog_expr);
     1.6  \<close>
     1.7 +
     1.8  subsection \<open>setup for extended rule-set\<close>
     1.9 -setup \<open>KEStore_Elems.add_rlss
    1.10 -  [("prog_expr", (Context.theory_name @{theory}, Auto_Prog.prep_rls @{theory} prog_expr))]\<close>
    1.11 +
    1.12 +setup_rule prog_expr = \<open>Auto_Prog.prep_rls @{theory} prog_expr\<close>
    1.13  
    1.14  ML \<open>
    1.15  \<close> ML \<open>