| Sat, 01 Oct 2016 20:58:59 +0200 | wenzelm | tuned messages -- facilitate copy-paste; | changeset | files |
| Sat, 01 Oct 2016 20:03:17 +0200 | wenzelm | merged | changeset | files |
| Sat, 01 Oct 2016 19:30:21 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 01 Oct 2016 19:29:48 +0200 | wenzelm | tuned proofs; | changeset | files |
| Sat, 01 Oct 2016 17:38:14 +0200 | wenzelm | Isar proof of Schroeder_Bernstein without using Hilbert_Choice (and metis); | changeset | files |
| Sat, 01 Oct 2016 17:16:35 +0200 | wenzelm | clarified lfp/gfp statements and proofs; | changeset | files |
| Sat, 01 Oct 2016 15:21:43 +0200 | Lars Hupel | repair LaTeX | changeset | files |