| Fri, 07 Aug 2020 11:46:14 +0200 | wenzelm | avoid failure of "isabelle build -o skip_proofs"; | file | diff | annotate |
| Wed, 06 May 2020 10:46:19 +0200 | nipkow | tuned | file | diff | annotate |
| Tue, 05 May 2020 20:32:57 +0200 | nipkow | tuned proofs | file | diff | annotate |