1.1 --- a/src/Tools/isac/Knowledge/EqSystem.thy	Mon Jun 21 15:50:58 2021 +0200
     1.2 +++ b/src/Tools/isac/Knowledge/EqSystem.thy	Mon Jun 21 16:18:27 2021 +0200
     1.3 @@ -77,9 +77,7 @@
     1.4    | eval_occur_exactly_in _ _ _ _ = NONE;
     1.5  \<close>
     1.6  setup \<open>KEStore_Elems.add_calcs
     1.7 -  [("occur_exactly_in",
     1.8 -	    ("EqSystem.occur_exactly_in",
     1.9 -	      eval_occur_exactly_in "#eval_occur_exactly_in_"))]\<close>
    1.10 +  [("occur_exactly_in", (\<^const_name>\<open>occur_exactly_in\<close>, eval_occur_exactly_in "#eval_occur_exactly_in_"))]\<close>
    1.11  ML \<open>
    1.12  (** rewrite order 'ord_simplify_System' **)
    1.13