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