* Pure: added 'corollary' command;
authorwenzelm
Sat Oct 13 20:30:38 2001 +0200 (2001-10-13)
changeset 117387c7a902a5c65
parent 11737 0ec18d3131b5
child 11739 c0ca4b89159c
* Pure: added 'corollary' command;
NEWS
     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