| Thu, 12 Dec 2013 21:28:13 +0100 | wenzelm | skeleton for Simplifier trace by Lars Hupel; | changeset | files |
| Thu, 12 Dec 2013 21:14:33 +0100 | wenzelm | generic trace operations for main steps of Simplifier; | changeset | files |
| Thu, 12 Dec 2013 17:34:50 +0100 | wenzelm | tuned signature; | changeset | files |