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 |