changeset 45210 | b416573f1807 |
parent 45196 | 78478d938cb8 |
child 45233 | 28b076e0bea8 |
--- a/NEWS Wed Oct 19 21:40:32 2011 +0200 +++ b/NEWS Wed Oct 19 22:54:26 2011 +0200 @@ -17,7 +17,9 @@ * 'Transitive_Closure.ntrancl': bounded transitive closure on relations. -* 'sublists' moved to More_List.thy; INCOMPATIBILITY. +* 'Set.not_member' now qualifed. INCOMPATIBILITY. + +* 'sublists' moved to More_List.thy. INCOMPATIBILITY. * Theory Int: Discontinued many legacy theorems specific to type int. INCOMPATIBILITY, use the corresponding generic theorems instead.