| Fri, 02 Oct 2009 23:15:36 +0200 | wenzelm | eliminated dead code; | file | diff | annotate |
| Thu, 01 Oct 2009 16:46:48 +0200 | nipkow | made spass additional default prover | file | diff | annotate |
| Tue, 29 Sep 2009 16:24:36 +0200 | wenzelm | explicit indication of Unsynchronized.ref; | file | diff | annotate |
| Thu, 03 Sep 2009 17:55:31 +0200 | boehmes | added runtime information to sledgehammer | file | diff | annotate |
| Sat, 29 Aug 2009 21:57:06 +0200 | boehmes | propagate theorem names, in addition to generated return message | 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 |