Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Isar/isar_cmd.ML
changeset 21437 a3c55b85cf0e
parent 21350 6e58289b6685
child 21506 b2a673894ce5 
--- a/src/Pure/Isar/isar_cmd.ML	Tue Nov 21 18:07:32 2006 +0100
+++ b/src/Pure/Isar/isar_cmd.ML	Tue Nov 21 18:07:33 2006 +0100
@@ -432,7 +432,7 @@
 
 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 =
isabelle