| Thu, 20 Aug 2015 19:33:26 +0200 | wenzelm | suppress small CPU time, notably on x86-windows, where bash does not account for the poly process; | changeset | files |
| Thu, 20 Aug 2015 19:19:19 +0200 | wenzelm | obsolete; | changeset | files |
| Thu, 20 Aug 2015 19:15:17 +0200 | wenzelm | tuned signature, according to ML version; | changeset | files |
| Thu, 20 Aug 2015 17:41:50 +0100 | paulson | The Stone-Weierstrass theorem | changeset | files |
| Thu, 20 Aug 2015 17:39:07 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 20 Aug 2015 14:35:22 +0200 | wenzelm | obsolete; | changeset | files |