Wed, 06 Dec 2017 20:43:09 +0100 | wenzelm | prefer control symbol antiquotations; | file | diff | annotate |
Wed, 29 Oct 2014 13:57:20 +0100 | wenzelm | modernized setup; | file | diff | annotate |
Tue, 15 Nov 2011 22:13:39 +0100 | blanchet | started implementing lambda-lifting in Metis | file | diff | annotate |
Fri, 13 May 2011 22:55:00 +0200 | wenzelm | proper Proof.context for classical tactics; | file | diff | annotate |
Tue, 05 Oct 2010 10:28:11 +0200 | blanchet | factor out "Meson_Tactic" from "Meson_Clausify" | file | diff | annotate |