added locale instantiation

--- a/Admin/page/main-content/index.content	Tue Apr 19 18:46:04 2005 +0200
+++ b/Admin/page/main-content/index.content	Wed Apr 20 00:45:54 2005 +0200
@@ -38,11 +38,12 @@
 <h2>Isabelle 2005 - Preview</h2>
 
 <ul>
+<li>New commands for instantiating locales</li>
 <li>New command for finding matching rewrite rules</li>
-<li>New syntax to allow &gt; and &gt;=</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>
+<li>New syntax that will allow &gt; and &gt;= in addition to &lt; and &lt;=</li>
 </ul>
 
 <h2>Contributing</h2>