| Thu, 01 Sep 2011 16:58:41 +0200 | wenzelm | sort wrt. theory name; | changeset | files |
| Thu, 01 Sep 2011 16:58:03 +0200 | wenzelm | modernized theory name; | changeset | files |
| Thu, 01 Sep 2011 16:46:07 +0200 | wenzelm | repaired benchmarks; | changeset | files |
| Thu, 01 Sep 2011 14:35:51 +0200 | wenzelm | merged | changeset | files |
| Thu, 01 Sep 2011 14:21:09 +0200 | blanchet | tuning | changeset | files |
| Thu, 01 Sep 2011 13:18:27 +0200 | blanchet | always measure time for ATPs -- auto minimization relies on it | changeset | files |
| Thu, 01 Sep 2011 13:18:27 +0200 | blanchet | added two lemmas about "distinct" to help Sledgehammer | changeset | files |
| Thu, 01 Sep 2011 13:18:27 +0200 | blanchet | make "sound" sound and "unsound" more sound, based on evaluation | changeset | files |