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.
NEWS
authornoschinl
Mon, 12 Mar 2012 21:34:45 +0100
changeset 46888 9a95da60ca54
parent 46887 cb891d9a23c1
child 46889 75208a489363
NEWS
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Mon Mar 12 21:34:43 2012 +0100
+++ b/NEWS	Mon Mar 12 21:34:45 2012 +0100
@@ -355,6 +355,9 @@
 * Command 'try0':
   - Renamed from 'try_methods'. INCOMPATIBILITY.
 
+* New "eventually_elim" method as a generalized variant of the
+  eventually_elim* rules. Supports structured proofs.
+
 
 *** FOL ***
isabelle