added locale instantiation
authorkleing
Wed Apr 20 00:45:54 2005 +0200 (2005-04-20)
changeset 15777311aedc96e71
parent 15776 e2f45df0696f
child 15778 98af3693f6b3
added locale instantiation
Admin/page/main-content/index.content
     1.1 --- a/Admin/page/main-content/index.content	Tue Apr 19 18:46:04 2005 +0200
     1.2 +++ b/Admin/page/main-content/index.content	Wed Apr 20 00:45:54 2005 +0200
     1.3 @@ -38,11 +38,12 @@
     1.4  <h2>Isabelle 2005 - Preview</h2>
     1.5  
     1.6  <ul>
     1.7 +<li>New commands for instantiating locales</li>
     1.8  <li>New command for finding matching rewrite rules</li>
     1.9 -<li>New syntax to allow &gt; and &gt;=</li>
    1.10  <li>New automatic transitivity reasoner</li>
    1.11  <li>New command for ad-hoc theory viewing and printing</li>
    1.12  <li>Much extended and improved theory of finite sets</li>
    1.13 +<li>New syntax that will allow &gt; and &gt;= in addition to &lt; and &lt;=</li>
    1.14  </ul>
    1.15  
    1.16  <h2>Contributing</h2>