Wed, 31 Dec 2008 18:53:18 +0100 | wenzelm | use exists_Const directly; | file | diff | annotate |
Tue, 23 Sep 2008 18:31:33 +0200 | berghofe | Corrected call of SUBPROOF in coherent_tac that used wrong context. | file | diff | annotate |
Mon, 22 Sep 2008 23:01:54 +0200 | berghofe | New prover for coherent logic. | file | diff | annotate |