# HG changeset patch
# User wenzelm
# Date 1002997838 -7200
# Node ID 7c7a902a5c651b7935e9fd88ad9eead5e16b3060
# Parent  0ec18d3131b53878baf2eb56928bc74468c4e81a
* Pure: added 'corollary' command;

diff -r 0ec18d3131b5 -r 7c7a902a5c65 NEWS
--- a/NEWS	Fri Oct 12 18:29:51 2001 +0200
+++ b/NEWS	Sat Oct 13 20:30:38 2001 +0200
@@ -28,6 +28,8 @@
 
 * Pure: renamed "antecedent" case to "rule_context";
 
+* Pure: added 'corollary' command;
+
 * Pure: fixed 'token_translation' command;
 
 * HOL: 'recdef' now fails on unfinished automated proofs, use