| 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 |
| Tue, 14 Feb 2012 19:51:39 +0100 | wenzelm | tuned signature, according to actual usage of these operations; | changeset | files |
| Tue, 14 Feb 2012 19:29:54 +0100 | wenzelm | tuned signature; | changeset | files |
| Tue, 14 Feb 2012 19:18:57 +0100 | wenzelm | normalized aliases; | changeset | files |