1.1 --- a/NEWS	Fri Oct 12 18:29:51 2001 +0200
     1.2 +++ b/NEWS	Sat Oct 13 20:30:38 2001 +0200
     1.3 @@ -28,6 +28,8 @@
     1.4  
     1.5  * Pure: renamed "antecedent" case to "rule_context";
     1.6  
     1.7 +* Pure: added 'corollary' command;
     1.8 +
     1.9  * Pure: fixed 'token_translation' command;
    1.10  
    1.11  * HOL: 'recdef' now fails on unfinished automated proofs, use