| 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 |
| Tue, 26 Oct 2021 14:43:59 +0000 | haftmann | more generic bit/word lemmas for distribution | file | diff | annotate |
| Fri, 04 Jan 2019 23:22:53 +0100 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |
| Wed, 31 Oct 2018 15:53:32 +0100 | wenzelm | clarified ML_Context.expression: it is a closed expression, not a let-declaration -- thus source positions are more accurate (amending d8849cfad60f, 162a4c2e97bc); | file | diff | annotate |
| Mon, 27 Jul 2015 17:44:55 +0200 | wenzelm | tuned signature; | file | diff | annotate |