History log of /seL4-l4v-master/l4v/isabelle/src/HOL/Tools/SMT/conj_disj_perm.ML
Revision Date Author Comments
# a4bab154 04-Jan-2019 wenzelm <none@none>

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

add reconstruction by veriT in method smt
# 99e3d4c3 06-Dec-2017 wenzelm <none@none>

prefer control symbol antiquotations;
# c7cc1919 26-Nov-2017 wenzelm <none@none>

more symbols;
# 62ae9c62 18-Jul-2015 wenzelm <none@none>

prefer tactics with explicit context;
# e2f81425 16-Jan-2015 boehmes <none@none>

more efficient Z3 proof reconstruction for rewrite steps with conjunctions and disjunctions, similar to Old_SMT