| Tue, 03 Nov 2015 14:03:44 +0100 | wenzelm | prefer ad-hoc non-worker threads; | changeset | files |
| Tue, 03 Nov 2015 13:54:34 +0100 | wenzelm | clarified modules; | changeset | files |
| Tue, 03 Nov 2015 11:24:42 +0100 | wenzelm | cancel already running request; | changeset | files |
| Tue, 03 Nov 2015 15:24:24 +0100 | eberlm | added acknowledgement in Binomial.thy | changeset | files |