changeset 42208 | 02513eb26eb7 |
parent 41413 | 64cd30d6b0b8 |
child 42421 | 6bc725d60593 |
--- a/src/HOL/Nitpick_Examples/Manual_Nits.thy Sun Apr 03 11:40:32 2011 +0200 +++ b/src/HOL/Nitpick_Examples/Manual_Nits.thy Mon Apr 04 09:32:50 2011 +0200 @@ -18,7 +18,7 @@ chapter {* 3. First Steps *} nitpick_params [verbose, sat_solver = MiniSat_JNI, max_threads = 1, - timeout = 60] + timeout = 240] subsection {* 3.1. Propositional Logic *}