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 |