| Wed, 10 Jan 2018 15:25:09 +0100 | nipkow | ran isabelle update_op on all sources | file | diff | annotate |
| Tue, 17 Jan 2017 13:59:10 +0100 | wenzelm | isabelle update_cartouches -c -t; | file | diff | annotate |
| Sun, 02 Oct 2016 14:37:50 +0200 | wenzelm | eliminated hard tabs; | file | diff | annotate |
| 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 |