Section 6.2 (The Trace System) of the Description manual describes the trace system.
Interactively, the functions traces and set_trace may be of interest. I think the simplifier trace is called "simplifier". On 6 March 2016 at 01:16, Piotr Trojanek <piotr.troja...@gmail.com> wrote: > On Sat, Mar 5, 2016 at 3:04 AM, Michael Norrish > <michael.norr...@nicta.com.au> wrote: > > I turned the simplifier trace on to see the following steps taken: > > The simplifier trace looks really nice! How do I turn it on? I do not > see this in the documentation... > > > ------------------------------------------------------------------------------ > _______________________________________________ > hol-info mailing list > hol-info@lists.sourceforge.net > https://lists.sourceforge.net/lists/listinfo/hol-info >
------------------------------------------------------------------------------
_______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
