--- a/Admin/website/index.html Mon Jun 06 11:30:57 2005 +0200
+++ b/Admin/website/index.html Mon Jun 06 12:17:59 2005 +0200
@@ -49,8 +49,7 @@
<p>New features in the upcoming Isabelle 2005 will include</p>
<ul>
<li>New commands for instantiating locales</li>
- <li>New command for finding matching rewrite rules</li>
- <li>Finding theorems by term patterns</li>
+ <li>New command for finding theorems (by term patterns, as intro/elim/simp rules, etc.)</li>
<li>New automatic transitivity reasoner</li>
<li>New command for ad-hoc theory viewing and printing</li>
<li>Much extended and improved theory of finite sets</li>