changeset 60119 | 54bea620e54f |
parent 60116 | 5d90d301ad66 |
child 60125 | 2944cc4f4f56 |
--- a/ANNOUNCE Fri Apr 17 16:54:25 2015 +0200 +++ b/ANNOUNCE Fri Apr 17 17:49:19 2015 +0200 @@ -24,6 +24,8 @@ * New proof method "rewrite" for single-step rewriting with subterm selection based on patterns. +* New Eisbach proof method language and "match" method. + * Updated manuals: datatypes, implementation, isar-ref, jedit, sledgehammer, system.