| 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 |
| Thu, 11 Oct 2018 15:35:18 +0200 | nipkow | added simp-lemma | changeset | files |
| Tue, 09 Oct 2018 13:06:39 +0200 | wenzelm | allow to switch ISABELLE_OCAML_VERSION later on; | changeset | files |
| Tue, 09 Oct 2018 09:53:13 +0200 | Lars Hupel | merged | changeset | files |
| Mon, 08 Oct 2018 17:12:28 +0200 | Lars Hupel | Jenkins: run ocaml_setup | changeset | files |
| Mon, 08 Oct 2018 21:31:51 +0200 | nipkow | added simp-lemma | changeset | files |