changeset 24827 | 646bdc51eb7d |
parent 24742 | 73b8b42a36b6 |
child 24937 | 340523598914 |
--- 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