NEWS
changeset 49972 f11f8905d9fd
parent 49968 d9e08e2555f9
child 50020 6b9611abcd4c
     1.1 --- a/NEWS	Mon Oct 22 19:02:36 2012 +0200
     1.2 +++ b/NEWS	Mon Oct 22 22:24:34 2012 +0200
     1.3 @@ -99,6 +99,9 @@
     1.4  
     1.5  *** HOL ***
     1.6  
     1.7 +* Removed constant "chars".  Prefer "Enum.enum" on type "char"
     1.8 +directly.  INCOMPATIBILITY.
     1.9 +
    1.10  * Moved operation product, sublists and n_lists from Enum.thy
    1.11  to List.thy.  INCOMPATIBILITY.
    1.12