--- a/NEWS Sun Jul 10 15:45:35 2011 +0200
+++ b/NEWS Sun Jul 10 21:39:03 2011 +0200
@@ -61,7 +61,7 @@
*** HOL ***
* Archimedian_Field.thy:
- constant field now is defined as parameter of a separate type class floor_ceiling.
+ floor now is defined as parameter of a separate type class floor_ceiling.
* Finite_Set.thy: more coherent development of fold_set locales:
--- a/src/HOL/IMP/C_like.thy Sun Jul 10 15:45:35 2011 +0200
+++ b/src/HOL/IMP/C_like.thy Sun Jul 10 21:39:03 2011 +0200
@@ -49,6 +49,7 @@
code_pred big_step .
+declare [[values_timeout = 3600]]
text{* Examples: *}