src/Pure/Isar/expression.ML

       prep {strict = false, do_close = true, fixed_frees = false}
         raw_import init_body raw_elems [] context;
     (* Declare parameters and imported facts *)
     val context' = context |>
       fix_params fixed |>
-      fold Locale.activate_declarations deps;
+      fold (Context.proof_map o Locale.activate_facts NONE) deps;
     val (elems', _) = context' |>
       ProofContext.set_stmt true |>
       fold_map activate elems;
   in ((fixed, deps, elems'), (parms, ctxt')) end;