src/HOL/Tools/SMT/conj_disj_perm.ML
17 months ago wenzelm 2017-11-26 more symbols;
2015-07-18 wenzelm 2015-07-18 prefer tactics with explicit context;
2015-01-16 boehmes 2015-01-16 more efficient Z3 proof reconstruction for rewrite steps with conjunctions and disjunctions, similar to Old_SMT