Sat, 18 Jul 2015 20:47:08 +0200 | wenzelm | prefer tactics with explicit context; | file | diff | annotate |
Fri, 16 Jan 2015 23:23:31 +0100 | boehmes | more efficient Z3 proof reconstruction for rewrite steps with conjunctions and disjunctions, similar to Old_SMT | file | diff | annotate |