1.1 --- a/src/Tools/isac/Specify/cas-command.sml	Sun Sep 11 14:31:15 2022 +0200
     1.2 +++ b/src/Tools/isac/Specify/cas-command.sml	Mon Sep 12 17:46:32 2022 +0200
     1.3 @@ -66,7 +66,7 @@
     1.4    let
     1.5      val (h, argl) = strip_comb hdt
     1.6    in
     1.7 -    case assoc_cas (ThyC.get_theory "Isac_Knowledge") h of
     1.8 +    case get_cas_global h of
     1.9        NONE => NONE
    1.10      | SOME (spec as (dI,_,_), argl2dtss) =>
    1.11  	      let