# HG changeset patch
# User wenzelm
# Date 1519140036 -3600
# Node ID 8fd84fe1d60bf3e1a2a62b49aaa4529c1c6fc686
# Parent  b4db2e7e414ec392c279df7b297d571d2bc67564
tuned signature;

diff -r b4db2e7e414e -r 8fd84fe1d60b src/Pure/Isar/proof_context.ML
--- a/src/Pure/Isar/proof_context.ML	Tue Feb 20 16:20:14 2018 +0100
+++ b/src/Pure/Isar/proof_context.ML	Tue Feb 20 16:20:36 2018 +0100
@@ -125,6 +125,7 @@
   val get_fact_single: Proof.context -> Facts.ref -> thm
   val get_thms: Proof.context -> xstring -> thm list
   val get_thm: Proof.context -> xstring -> thm
+  val is_stmt: Proof.context -> bool
   val set_stmt: bool -> Proof.context -> Proof.context
   val restore_stmt: Proof.context -> Proof.context -> Proof.context
   val add_thms_dynamic: binding * (Context.generic -> thm list) ->