History log of /seL4-l4v-master/l4v/lib/ml-helpers/ThmExtras.ML
Revision Date Author Comments
# a424d55e 09-Mar-2020 Gerwin Klein <gerwin.klein@data61.csiro.au>

licenses: convert license tags to SPDX


# 5120e351 04-Nov-2019 Corey Lewis <corey.lewis@data61.csiro.au>

lib: improve wp tracing

When tracing wp can now print the instantiated version of the rules being used.
It also says which set each used rule is from.


# 96588daf 17-Jul-2019 Corey Lewis <corey.lewis@data61.csiro.au>

lib: improve message printing for crunch and wp, and refactor common printing functions