Tue, 29 Sep 2009 16:24:36 +0200 | wenzelm | explicit indication of Unsynchronized.ref; | file | diff | annotate |
Mon, 14 Sep 2009 19:30:48 +0200 | nipkow | count number of iterations required for minimization (and fixed bug: minimization was always called) | file | diff | annotate |
Mon, 07 Sep 2009 22:08:05 +0200 | nipkow | Fixed "minimal" to cover the case that "p []" holds (excluded in the article by Bradley & Manna) | file | diff | annotate |
Sat, 05 Sep 2009 22:01:31 +0200 | boehmes | added signature ATP_MINIMAL, | file | diff | annotate |
Thu, 03 Sep 2009 17:55:31 +0200 | boehmes | added runtime information to sledgehammer | file | diff | annotate |
Tue, 04 Aug 2009 19:20:24 +0200 | wenzelm | src/HOL/Tools/ATP_Manager as separate component, with (almost) everything in one place; | file | diff | annotate | base |