| Sun, 04 Aug 2024 17:39:47 +0200 | wenzelm | tuned: more explicit dest_Const_name and dest_Const_type; | file | diff | annotate |
| Wed, 26 Jul 2023 12:58:47 +0200 | wenzelm | tuned signature: more operations; | file | diff | annotate |
| Sat, 03 Sep 2022 23:10:38 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Tue, 19 Oct 2021 14:58:22 +0200 | wenzelm | clarified context; | file | diff | annotate |
| 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 |