| Tue, 14 Feb 2012 21:59:10 +0100 | wenzelm | more conventional tactic setup -- avoid low-level Thm.dest_state and spurious warnings about it; | changeset | files |
| Tue, 14 Feb 2012 21:45:32 +0100 | wenzelm | more conventional tactic setup; | changeset | files |
| Tue, 14 Feb 2012 21:31:26 +0100 | wenzelm | eliminated odd/obsolete innermost_params (cf. a77ad6c86564, 3458b0e955ac); | changeset | files |
| Tue, 14 Feb 2012 21:19:39 +0100 | wenzelm | prefer high-level elim_format; | changeset | files |
| Tue, 14 Feb 2012 20:57:05 +0100 | wenzelm | discontinued unused MRL -- in correspondence with section "2.4.2 Rule composition" in the implementation manual; | changeset | files |
| Tue, 14 Feb 2012 20:43:32 +0100 | wenzelm | method setup; | changeset | files |
| Tue, 14 Feb 2012 20:09:35 +0100 | wenzelm | simplified use of tacticals; | changeset | files |
| Tue, 14 Feb 2012 20:08:59 +0100 | wenzelm | comment; | changeset | files |