equal
deleted
inserted
replaced
36 <p> |
36 <p> |
37 |
37 |
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 command for finding matching rewrite rules</li> |
42 <li>New command for finding matching rewrite rules</li> |
42 <li>New syntax to allow > and >=</li> |
|
43 <li>New automatic transitivity reasoner</li> |
43 <li>New automatic transitivity reasoner</li> |
44 <li>New command for ad-hoc theory viewing and printing</li> |
44 <li>New command for ad-hoc theory viewing and printing</li> |
45 <li>Much extended and improved theory of finite sets</li> |
45 <li>Much extended and improved theory of finite sets</li> |
|
46 <li>New syntax that will allow > and >= in addition to < and <=</li> |
46 </ul> |
47 </ul> |
47 |
48 |
48 <h2>Contributing</h2> |
49 <h2>Contributing</h2> |
49 |
50 |
50 Did you have to prove a lemma that should have been part of the |
51 Did you have to prove a lemma that should have been part of the |