1.1 --- a/src/Tools/isac/ProgLang/Prog_Expr.thy	Wed Jun 09 20:28:42 2021 +0200
     1.2 +++ b/src/Tools/isac/ProgLang/Prog_Expr.thy	Thu Jun 10 11:54:20 2021 +0200
     1.3 @@ -534,7 +534,7 @@
     1.4  
     1.5  subsection \<open>setup for rule-sets and ML-functions\<close>
     1.6  
     1.7 -setup_rule prog_expr = prog_expr
     1.8 +rule_set_knowledge prog_expr = prog_expr
     1.9  setup \<open>KEStore_Elems.add_calcs
    1.10    [("matches", ("Prog_Expr.matches", Prog_Expr.eval_matches "#matches_")),
    1.11      ("matchsub", ("Prog_Expr.matchsub", Prog_Expr.eval_matchsub "#matchsub_")),