src/Pure/Isar/isar_cmd.ML

 
 local
 
 fun string_of_stmts state args =
   Proof.get_thmss state args
-  |> map (Element.pretty_statement (Proof.context_of state) PureThy.lemmaK)
+  |> map (Element.pretty_statement (Proof.context_of state) Thm.theoremK)
   |> Pretty.chunks2 |> Pretty.string_of;
 
 fun string_of_thms state args =
   Pretty.string_of (ProofContext.pretty_thms (Proof.context_of state)
     (Proof.get_thmss state args));