src/HOL/Tools/meson.ML

--- a/src/HOL/Tools/meson.ML	Wed Oct 03 22:33:17 2007 +0200
+++ b/src/HOL/Tools/meson.ML	Thu Oct 04 12:32:58 2007 +0200
@@ -17,6 +17,7 @@
   val first_order_resolve: thm -> thm -> thm
   val flexflex_first_order: thm -> thm
   val size_of_subgoals: thm -> int
+  val too_many_clauses: term -> bool
   val make_cnf: thm list -> thm -> thm list
   val finish_cnf: thm list -> thm list
   val generalize: thm -> thm