| Fri, 03 Oct 2008 19:35:15 +0200 | wenzelm | updated generated file; | changeset | files |
| Fri, 03 Oct 2008 19:35:14 +0200 | wenzelm | removed HOL-Plain -- already included in HOL; | changeset | files |
| Fri, 03 Oct 2008 19:17:37 +0200 | wenzelm | removed spurious ResAtp.set_prover; | changeset | files |
| Fri, 03 Oct 2008 17:07:41 +0200 | wenzelm | simplified thread creation via SimpleThread; | changeset | files |
| Fri, 03 Oct 2008 17:07:39 +0200 | wenzelm | simplified thread creation via SimpleThread; | changeset | files |
| Fri, 03 Oct 2008 16:37:09 +0200 | wenzelm | version of sledgehammer using threads instead of processes, misc cleanup; | changeset | files |
| Fri, 03 Oct 2008 15:20:33 +0200 | wenzelm | removed old/unused setup of raw ATP oracles; | changeset | files |