equal
deleted
inserted
replaced
40 <ul> |
40 <ul> |
41 <li>New command for finding matching rewrite rules</li> |
41 <li>New command for finding matching rewrite rules</li> |
42 <li>New syntax to allow > and >=</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 </ul> |
46 </ul> |
46 |
47 |
47 <h2>Contributing</h2> |
48 <h2>Contributing</h2> |
48 |
49 |
49 Did you have to prove a lemma that should have been part of the |
50 Did you have to prove a lemma that should have been part of the |