| Fri, 02 Oct 2009 22:15:30 +0200 | wenzelm | eliminated dead code and redundant parameters; | changeset | files |
| Fri, 02 Oct 2009 22:15:08 +0200 | wenzelm | eliminated dead code; | changeset | files |
| Fri, 02 Oct 2009 22:02:54 +0200 | wenzelm | replaced Proof.get_goal state by Proof.flat_goal state, which provides the standard view on goals for (semi)automated tools; | changeset | files |
| Fri, 02 Oct 2009 22:02:11 +0200 | wenzelm | replaced Proof.get_goal state by Proof.flat_goal state, which provides the standard view on goals for (semi)automated tools; | changeset | files |
| Fri, 02 Oct 2009 21:42:31 +0200 | wenzelm | Refute.refute_goal: goal addressing from 1 as usual; | changeset | files |
| Fri, 02 Oct 2009 21:41:57 +0200 | wenzelm | Refute.refute_goal: canonical goal addresses from 1 (renamed from refute_subgoal to clarify change in semantics); | changeset | files |
| Fri, 02 Oct 2009 21:39:06 +0200 | wenzelm | clarified Proof.refine_insert -- always "refine" to apply standard method treatment (of conjunctions); | changeset | files |