1.1 --- a/src/Tools/isac/Knowledge/Rational.thy	Mon Jun 21 15:50:58 2021 +0200
     1.2 +++ b/src/Tools/isac/Knowledge/Rational.thy	Mon Jun 21 16:18:27 2021 +0200
     1.3 @@ -459,7 +459,7 @@
     1.4    | eval_is_expanded _ _ _ _ = NONE;
     1.5  \<close>
     1.6  setup \<open>KEStore_Elems.add_calcs
     1.7 -  [("is_expanded", ("Rational.is_expanded", eval_is_expanded ""))]\<close>
     1.8 +  [("is_expanded", (\<^const_name>\<open>is_expanded\<close>, eval_is_expanded ""))]\<close>
     1.9  ML \<open>
    1.10  val rational_erls = 
    1.11    Rule_Set.merge "rational_erls" calculate_Rational