--- 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: *}