contrapos
authorpaulson
Mon Oct 23 10:20:55 2000 +0200 (2000-10-23)
changeset 1028800abecbfa46a
parent 10287 9ab1671398a6
child 10289 475ea668c67d
contrapos
NEWS
     1.1 --- a/NEWS	Mon Oct 23 10:16:52 2000 +0200
     1.2 +++ b/NEWS	Mon Oct 23 10:20:55 2000 +0200
     1.3 @@ -6,6 +6,8 @@
     1.4  
     1.5  * HOL: induct renamed to lfp_induct;
     1.6  
     1.7 +* HOL: contrapos, contrapos2 renamed to contrapos_nn, contrapos_pp;
     1.8 +
     1.9  
    1.10  *** Document preparation ***
    1.11