1.1 --- a/src/Tools/isac/ProgLang/Prog_Expr.thy	Wed May 26 16:19:41 2021 +0200
     1.2 +++ b/src/Tools/isac/ProgLang/Prog_Expr.thy	Wed May 26 16:24:05 2021 +0200
     1.3 @@ -533,7 +533,8 @@
     1.4  \<close>
     1.5  
     1.6  subsection \<open>setup for rule-sets and ML-functions\<close>
     1.7 -setup \<open>KEStore_Elems.add_rlss [("prog_expr", (Context.theory_name @{theory}, prog_expr))]\<close>
     1.8 +
     1.9 +setup_rule prog_expr = prog_expr
    1.10  setup \<open>KEStore_Elems.add_calcs
    1.11    [("matches", ("Prog_Expr.matches", Prog_Expr.eval_matches "#matches_")),
    1.12      ("matchsub", ("Prog_Expr.matchsub", Prog_Expr.eval_matchsub "#matchsub_")),