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 |