| 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 |