| Tue, 27 Oct 2009 18:00:50 +0100 | boehmes | measure runtime of ATPs only if requested | changeset | files |
| Tue, 27 Oct 2009 22:57:23 +0100 | wenzelm | eliminated some old folds; | changeset | files |
| Tue, 27 Oct 2009 22:56:14 +0100 | wenzelm | eliminated some old folds; | changeset | files |