| Wed, 06 Dec 2017 20:43:09 +0100 | wenzelm | prefer control symbol antiquotations; | file | diff | annotate |
| Sun, 26 Nov 2017 21:08:32 +0100 | wenzelm | more symbols; | file | diff | annotate |
| 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 |