| Fri, 24 Jan 2025 17:53:06 +0000 | paulson | Tidying more old proofs | file | diff | annotate |
| Tue, 21 Jan 2025 19:26:39 +0100 | wenzelm | misc tuning: prefer specific variants of Thm.dest_comb; | file | diff | annotate |
| Mon, 04 Jul 2022 16:12:47 +0000 | haftmann | Move code lemmas for symbolic computation of bit operations on int to distribution. | file | diff | annotate |