author | haftmann |
Tue, 27 Dec 2011 09:15:26 +0100 | |
changeset 46862 | 3289ac99d714 |
parent 46861 | b7b905b23b2a |
child 46863 | 15d14fa805b2 |
1.1 --- a/NEWS Mon Dec 26 22:17:10 2011 +0100 1.2 +++ b/NEWS Tue Dec 27 09:15:26 2011 +0100 1.3 @@ -53,6 +53,8 @@ 1.4 1.5 *** HOL *** 1.6 1.7 +* Finite_Set.fold now qualified. INCOMPATIBILITY. 1.8 + 1.9 * Renamed some facts on canonical fold on lists, in order to avoid problems 1.10 with interpretation involving corresponding facts on foldl with the same base names: 1.11