--- a/NEWS Mon Oct 23 10:16:52 2000 +0200 +++ b/NEWS Mon Oct 23 10:20:55 2000 +0200 @@ -6,6 +6,8 @@ * HOL: induct renamed to lfp_induct; +* HOL: contrapos, contrapos2 renamed to contrapos_nn, contrapos_pp; + *** Document preparation ***