| Mon, 14 Jan 2019 14:46:12 +0100 | nipkow | uniform naming | file | diff | annotate |
| Sat, 05 Jan 2019 17:24:33 +0100 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |
| Sun, 21 Oct 2018 09:39:09 +0200 | nipkow | uniform naming of strong congruence rules | file | diff | annotate |