| Thu, 11 Mar 2021 07:05:38 +0000 | haftmann | avoid name clash | file | diff | annotate |
| Wed, 10 Jan 2018 15:25:09 +0100 | nipkow | ran isabelle update_op on all sources | file | diff | annotate |
| Mon, 29 May 2017 09:14:15 +0200 | eberlm | reorganised material on sublists | file | diff | annotate | base |