| Fri, 22 Jul 2016 11:00:43 +0200 | wenzelm | tuned proofs -- avoid unstructured calculation; | file | diff | annotate |
| Fri, 22 Jul 2016 08:02:37 +0200 | wenzelm | tuned proofs -- avoid improper use of "this"; | file | diff | annotate |
| Mon, 11 Jul 2016 10:43:27 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 04 Jul 2016 19:46:20 +0200 | haftmann | basic facts about almost everywhere fix bijections | file | diff | annotate |