| Fri, 03 Oct 2008 19:35:18 +0200 | wenzelm | operate on Proof.state, not Toplevel.state; | changeset | files |
| Fri, 03 Oct 2008 19:35:17 +0200 | wenzelm | misc simplifcation and tuning; | changeset | files |
| Fri, 03 Oct 2008 19:35:16 +0200 | wenzelm | perform atp_setups here; | changeset | files |
| 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 |