Wed, 17 Oct 2018 07:50:46 +0200 | nipkow | more intuitive and simpler (but slower) proofs | changeset | files |
Tue, 16 Oct 2018 18:34:44 +0200 | Lars Hupel | more material on finite maps | changeset | files |
Sat, 13 Oct 2018 11:13:12 +0200 | wenzelm | back to jdk-8u181: avoid degraded font-rendering of jdk-11 on Linux; | changeset | files |