| Thu, 24 Jul 2025 16:44:52 +0200 | haftmann | moved / rearranged lemma | file | diff | annotate |
| Sun, 01 Jun 2025 10:29:45 +0200 | haftmann | another default code_unfold rule | file | diff | annotate |
| Fri, 30 May 2025 07:47:03 +0200 | haftmann | qualify can_select auxiliary operations | file | diff | annotate |
| Thu, 29 May 2025 14:17:08 +0200 | haftmann | annotate auxiliary operations explicitly | file | diff | annotate |
| Wed, 28 May 2025 17:49:22 +0200 | haftmann | more modern qualification of auxiliary operations | file | diff | annotate |
| Sun, 18 May 2025 14:33:01 +0000 | haftmann | dropped unused ML bindings | file | diff | annotate |