| Fri, 04 Jan 2019 23:22:53 +0100 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |
| Sun, 18 Feb 2018 15:05:21 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Sun, 28 Jan 2018 19:28:52 +0100 | wenzelm | clarified take/drop/chop prefix/suffix; | file | diff | annotate |
| Wed, 10 Jan 2018 15:25:09 +0100 | nipkow | ran isabelle update_op on all sources | file | diff | annotate |
| Mon, 18 Dec 2017 16:58:13 +0100 | traytel | a conditional paramitrecity prover | file | diff | annotate |