| changeset 45748 | cf79cc09cab4 |
| parent 45707 | 6bf7eec9b153 |
| child 45759 | f8cc1f6528fb |
--- a/NEWS Sat Dec 03 21:25:34 2011 +0100 +++ b/NEWS Sun Dec 04 13:10:19 2011 +0100 @@ -53,6 +53,9 @@ *** HOL *** +* Theory HOL/Library/Diagonalize has been removed. INCOMPATIBILITY, use +theory HOL/Library/Nat_Bijection instead. + * Session HOL-Word: Discontinued many redundant theorems specific to type 'a word. INCOMPATIBILITY, use the corresponding generic theorems instead.