Wed, 11 Feb 2015 18:16:33 +0100 | wenzelm | proper context; | file | diff | annotate |
Tue, 10 Feb 2015 14:48:26 +0100 | wenzelm | proper context for resolve_tac, eresolve_tac, dresolve_tac, forward_tac etc.; | file | diff | annotate |
Wed, 26 Nov 2014 20:05:34 +0100 | wenzelm | renamed "pairself" to "apply2", in accordance to @{apply 2}; | file | diff | annotate |
Sun, 21 Sep 2014 20:14:04 +0200 | wenzelm | more standard Isabelle/ML operations; | file | diff | annotate |
Sun, 21 Sep 2014 19:53:50 +0200 | wenzelm | tuned; | file | diff | annotate |
Fri, 21 Mar 2014 20:33:56 +0100 | wenzelm | more qualified names; | file | diff | annotate |
Wed, 19 Feb 2014 15:57:02 +0000 | sultana | reconstruction framework for LEO-II's TPTP proofs; | file | diff | annotate |