changeset 36963 | 9a017146675f |
parent 36953 | 2af1ad9aa1a3 |
child 36972 | aa4bc5a4be1d |
--- a/NEWS Mon May 17 10:58:31 2010 +0200 +++ b/NEWS Mon May 17 10:58:58 2010 +0200 @@ -143,6 +143,10 @@ *** HOL *** +* Theory Library/Word.thy has been removed. Use library Word/Word.thy for +future developements; former Library/Word.thy is still present in the AFP +entry RSAPPS. + * Theorem Int.int_induct renamed to Int.int_of_nat_induct and is no longer shadowed. INCOMPATIBILITY.