NEWS
changeset 49948 744934b818c7
parent 49918 cf441f4a358b
child 49963 326f87427719
     1.1 --- a/NEWS	Sat Oct 20 09:09:37 2012 +0200
     1.2 +++ b/NEWS	Sat Oct 20 09:12:16 2012 +0200
     1.3 @@ -70,6 +70,9 @@
     1.4  
     1.5  *** HOL ***
     1.6  
     1.7 +* Moved operation product, sublists and n_lists from Enum.thy
     1.8 +to List.thy.  INCOMPATIBILITY.
     1.9 +
    1.10  * Simplified 'typedef' specifications: historical options for implicit
    1.11  set definition and alternative name have been discontinued.  The
    1.12  former behavior of "typedef (open) t = A" is now the default, but