| Thu, 12 Dec 2013 23:18:47 +0100 | wenzelm | merged | changeset | files |
| Thu, 12 Dec 2013 22:56:28 +0100 | wenzelm | discontinued legacy_isub_isup; | changeset | files |
| Thu, 12 Dec 2013 22:38:25 +0100 | wenzelm | clarified Trace_Ops: global theory data avoids init of simpset in Pure.thy, which is important to act as neutral element in merge; | changeset | files |
| 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 |
| Thu, 12 Dec 2013 16:56:53 +0100 | wenzelm | tuned whitespace; | changeset | files |
| Thu, 12 Dec 2013 16:25:21 +0100 | wenzelm | added missing file (cf. 124432e77ecf); | changeset | files |