1.1 --- a/src/Tools/isac/Knowledge/Partial_Fractions.thy	Sun Apr 19 16:43:53 2020 +0200
     1.2 +++ b/src/Tools/isac/Knowledge/Partial_Fractions.thy	Mon Apr 20 15:54:19 2020 +0200
     1.3 @@ -145,7 +145,7 @@
     1.4    decomposedFunction :: "real => una"
     1.5  
     1.6  ML \<open>
     1.7 -Celem.check_guhs_unique := false; (*WN120307 REMOVE after editing*)
     1.8 +Check_Unique.check_guhs_unique := false; (*WN120307 REMOVE after editing*)
     1.9  \<close>
    1.10  setup \<open>KEStore_Elems.add_pbts
    1.11    [(Specify.prep_pbt @{theory} "pbl_simp_rat_partfrac" [] Celem.e_pblID