Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
* Pure: added 'corollary' command;
authorwenzelm
Sat, 13 Oct 2001 20:30:38 +0200
changeset 11738 7c7a902a5c65
parent 11737 0ec18d3131b5
child 11739 c0ca4b89159c
* Pure: added 'corollary' command;
NEWS file | annotate | diff | comparison | revisions 
--- 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
isabelle