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 21506 b2a673894ce5
parent 21437 a3c55b85cf0e
child 21566 af2932baf068 
--- a/src/Pure/Isar/isar_cmd.ML	Thu Nov 23 22:38:29 2006 +0100
+++ b/src/Pure/Isar/isar_cmd.ML	Thu Nov 23 22:38:30 2006 +0100
@@ -339,7 +339,7 @@
 
 val print_facts = Toplevel.unknown_context o Toplevel.keep (fn state =>
   ProofContext.setmp_verbose
-    ProofContext.print_lthms (Context.proof_of (Toplevel.context_of state)));
+    ProofContext.print_lthms (Toplevel.context_of state));
 
 val print_theorems_proof = Toplevel.keep (fn state =>
   ProofContext.setmp_verbose
isabelle