src/Pure/simplifier.ML
changeset 17723 ee5b42e3cbb4
parent 17004 6a0d8ecf65f1
child 17883 efa1bc2bdcc6
--- a/src/Pure/simplifier.ML	Thu Sep 29 15:50:45 2005 +0200
+++ b/src/Pure/simplifier.ML	Thu Sep 29 15:50:46 2005 +0200
@@ -53,6 +53,7 @@
 sig
   include BASIC_SIMPLIFIER
   val clear_ss: simpset -> simpset
+  val debug_bounds: bool ref
   val inherit_bounds: simpset -> simpset -> simpset
   val simproc_i: theory -> string -> term list
     -> (theory -> simpset -> term -> thm option) -> simproc