Admin/page/main-content/index.content
changeset 15885 7274ba411f1d
parent 15777 311aedc96e71
--- a/Admin/page/main-content/index.content	Fri Apr 29 11:42:46 2005 +0200
+++ b/Admin/page/main-content/index.content	Fri Apr 29 13:11:19 2005 +0200
@@ -40,6 +40,7 @@
 <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 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>