1.1 --- a/src/Tools/isac/Knowledge/Base_Tools.thy	Wed Jun 09 20:28:42 2021 +0200
     1.2 +++ b/src/Tools/isac/Knowledge/Base_Tools.thy	Thu Jun 10 11:54:20 2021 +0200
     1.3 @@ -150,7 +150,7 @@
     1.4  
     1.5  subsection \<open>setup for extended rule-set\<close>
     1.6  
     1.7 -setup_rule prog_expr = \<open>Auto_Prog.prep_rls @{theory} prog_expr\<close>
     1.8 +rule_set_knowledge prog_expr = \<open>Auto_Prog.prep_rls @{theory} prog_expr\<close>
     1.9  
    1.10  ML \<open>
    1.11  \<close> ML \<open>