| 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 |