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 |
Thu, 11 Oct 2018 15:35:18 +0200 | nipkow | added simp-lemma | changeset | files |