| Fri, 18 Oct 2024 21:19:06 +0200 | wenzelm | tuned proofs; | file | diff | annotate |
| Wed, 23 Dec 2020 22:25:22 +0100 | wenzelm | tuned document, notably authors and sections; | file | diff | annotate |
| Thu, 15 Feb 2018 12:11:00 +0100 | wenzelm | more symbols; | file | diff | annotate |
| Fri, 12 Jan 2018 17:58:03 +0100 | wenzelm | prefer formal comments; | file | diff | annotate |
| Sat, 21 May 2016 07:08:46 +0200 | nipkow | added timing lemmas | file | diff | annotate |
| Tue, 23 Feb 2016 16:25:08 +0100 | nipkow | more canonical names | file | diff | annotate |
| Sat, 01 Nov 2014 14:20:38 +0100 | wenzelm | eliminated spurious semicolons; | file | diff | annotate |