History log of /seL4-l4v-master/l4v/isabelle/src/HOL/Tools/SMT/smt_replay.ML
Revision Date Author Comments
# c56a85fc 23-Sep-2019 paulson <lp15@cam.ac.uk>

More type class generalisations. Note that linorder_antisym_conv1 and linorder_antisym_conv2 no longer exist.
# 0c041064 04-Jun-2019 wenzelm <none@none>

misc tuning and clarification, notably wrt. flow of context;
# a4bab154 04-Jan-2019 wenzelm <none@none>

isabelle update -u control_cartouches;
# 19ef2e2e 30-Oct-2018 fleury <Mathias.Fleury@mpi-inf.mpg.de>

split SMT reconstruction into library