| 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 |