Sat, 28 Jul 2012 20:27:39 +0200 | wenzelm | added Quickcheck_Benchmark (cf. 1959baa22632); | changeset | files |
Sat, 28 Jul 2012 20:20:35 +0200 | wenzelm | no apparent need for single-threaded execution; | changeset | files |
Sat, 28 Jul 2012 20:18:15 +0200 | wenzelm | discontinued obsolete Isabelle/build script; | changeset | files |