changeset 50963 | 744934b818c7 |
parent 50933 | cf441f4a358b |
child 50978 | 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