src/HOL/Mirabelle/Tools/mirabelle_sledgehammer.ML

        | ERROR msg => ("error: " ^ msg, SH_ERROR)
        | TimeLimit.TimeOut => ("timeout", SH_ERROR)
 
 fun thms_of_name ctxt name =
   let
-    val lex = OuterKeyword.get_lexicons
+    val lex = Keyword.get_lexicons
     val get = maps (ProofContext.get_fact ctxt o fst)
   in
     Source.of_string name
     |> Symbol.source {do_recover=false}
     |> Token.source {do_recover=SOME false} lex Position.start