# HG changeset patch
# User kleing
# Date 1114773079 -7200
# Node ID 7274ba411f1d3e0279027b565780f060f4dbc90d
# Parent  89124b6752e55e553a14100d581d347d2d6760d4
include new thms_containing

diff -r 89124b6752e5 -r 7274ba411f1d Admin/page/main-content/index.content
--- 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>