1.1 --- a/src/Tools/isac/Interpret/inform.sml	Thu Jun 12 21:59:15 2014 +0200
     1.2 +++ b/src/Tools/isac/Interpret/inform.sml	Fri Jun 13 09:55:49 2014 +0200
     1.3 @@ -160,7 +160,7 @@
     1.4  fun cas_input hdt =
     1.5    let val (h,argl) = strip_comb hdt
     1.6    in
     1.7 -    case assoc_cas (ML_Context.the_generic_context () |> Context.theory_of) h of
     1.8 +    case assoc_cas (assoc_thy "Isac") h of
     1.9       NONE => NONE
    1.10     | SOME (spec as (dI,_,_), argl2dtss) =>
    1.11  	      let