equal
deleted
inserted
replaced
33 |
33 |
34 * classical reasoner: substitution with equality assumptions no longer |
34 * classical reasoner: substitution with equality assumptions no longer |
35 permutes other assumptions. |
35 permutes other assumptions. |
36 |
36 |
37 * classical reasoner: minor changes in semantics of addafter (now called |
37 * classical reasoner: minor changes in semantics of addafter (now called |
38 addaltern); renamed setwrapper to setWrapper and addwrapper to addWrapper; |
38 addaltern); renamed setwrapper to setWrapper and compwrapper to compWrapper; |
39 added safe wrapper (and access functions for it) |
39 added safe wrapper (and access functions for it) |
40 |
40 |
41 * improved combination of classical reasoner and simplifier: new |
41 * improved combination of classical reasoner and simplifier: new |
42 addss, auto_tac, functions for handling clasimpsets, ... Now, the |
42 addss, auto_tac, functions for handling clasimpsets, ... Now, the |
43 simplification is safe (therefore moved to safe_step_tac) and thus |
43 simplification is safe (therefore moved to safe_step_tac) and thus |