changeset 44590 | 592b32eb18a6 |
parent 44589 | d2f7af6e993c |
child 44614 | 8786e36b8142 |
1.1 --- a/NEWS Sat Jul 09 21:18:20 2011 +0200 1.2 +++ b/NEWS Sun Jul 10 14:02:27 2011 +0200 1.3 @@ -61,7 +61,7 @@ 1.4 *** HOL *** 1.5 1.6 * Archimedian_Field.thy: 1.7 - constant field now is defined as parameter of a separate type class floor_ceiling. 1.8 + floor now is defined as parameter of a separate type class floor_ceiling. 1.9 1.10 * Finite_Set.thy: more coherent development of fold_set locales: 1.11