diff -r dd86917c35c9 -r 46613d0a9fc9 src/Tools/isac/Interpret/inform.sml
--- a/src/Tools/isac/Interpret/inform.sml	Thu Jun 12 21:59:15 2014 +0200
+++ b/src/Tools/isac/Interpret/inform.sml	Fri Jun 13 09:55:49 2014 +0200
@@ -160,7 +160,7 @@
 fun cas_input hdt =
   let val (h,argl) = strip_comb hdt
   in
-    case assoc_cas (ML_Context.the_generic_context () |> Context.theory_of) h of
+    case assoc_cas (assoc_thy "Isac") h of
      NONE => NONE
    | SOME (spec as (dI,_,_), argl2dtss) =>
 	      let