adding a very liberal timeout for values after a test case failed due to the restricted timeout

--- a/src/HOL/IMP/C_like.thy	Sun Jul 10 14:02:27 2011 +0200
+++ b/src/HOL/IMP/C_like.thy	Sun Jul 10 19:33:27 2011 +0200
@@ -49,6 +49,7 @@
 
 code_pred big_step .
 
+declare [[values_timeout = 3600]]
 
 text{* Examples: *}