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/proof_context.ML
changeset 56864 0446c7ac2e32
parent 56438 7f6b2634d853
child 56867 224109105008 
--- a/src/Pure/Isar/proof_context.ML	Mon May 05 11:53:07 2014 +0200
+++ b/src/Pure/Isar/proof_context.ML	Mon May 05 15:17:07 2014 +0200
@@ -162,6 +162,7 @@
   val print_syntax: Proof.context -> unit
   val print_abbrevs: Proof.context -> unit
   val print_binds: Proof.context -> unit
+  val pretty_local_facts: Proof.context -> bool -> Pretty.T list
   val print_local_facts: Proof.context -> bool -> unit
   val print_cases: Proof.context -> unit
   val debug: bool Config.T
isabelle