--- a/src/Tools/auto_solve.ML Tue Nov 24 16:11:50 2009 +0100
+++ b/src/Tools/auto_solve.ML Tue Nov 24 17:19:33 2009 +0100
@@ -27,17 +27,17 @@
val _ =
ProofGeneralPgip.add_preference Preferences.category_tracing
+ (Preferences.nat_pref auto_time_limit
+ "auto-solve-time-limit"
+ "Time limit for seeking automatic solutions (in milliseconds).");
+
+val _ =
+ ProofGeneralPgip.add_preference Preferences.category_tracing
(setmp_CRITICAL auto true (fn () =>
Preferences.bool_pref auto
"auto-solve"
"Try to solve newly declared lemmas with existing theorems.") ());
-val _ =
- ProofGeneralPgip.add_preference Preferences.category_tracing
- (Preferences.nat_pref auto_time_limit
- "auto-solve-time-limit"
- "Time limit for seeking automatic solutions (in milliseconds).");
-
(* hook *)