Admin/page/main-content/index.content
changeset 15885 7274ba411f1d
parent 15777 311aedc96e71
equal deleted inserted replaced
15884:89124b6752e5 15885:7274ba411f1d
    38 <h2>Isabelle 2005 - Preview</h2>
    38 <h2>Isabelle 2005 - Preview</h2>
    39 
    39 
    40 <ul>
    40 <ul>
    41 <li>New commands for instantiating locales</li>
    41 <li>New commands for instantiating locales</li>
    42 <li>New command for finding matching rewrite rules</li>
    42 <li>New command for finding matching rewrite rules</li>
       
    43 <li>Finding theorems by term patterns</li>
    43 <li>New automatic transitivity reasoner</li>
    44 <li>New automatic transitivity reasoner</li>
    44 <li>New command for ad-hoc theory viewing and printing</li>
    45 <li>New command for ad-hoc theory viewing and printing</li>
    45 <li>Much extended and improved theory of finite sets</li>
    46 <li>Much extended and improved theory of finite sets</li>
    46 <li>New syntax that will allow &gt; and &gt;= in addition to &lt; and &lt;=</li>
    47 <li>New syntax that will allow &gt; and &gt;= in addition to &lt; and &lt;=</li>
    47 </ul>
    48 </ul>