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
