| Thu, 26 Jun 2025 17:25:29 +0200 | haftmann | append (rather than prepend) code equations: the order within a theory is maintained in the resulting code | file | diff | annotate |
| Thu, 26 Jun 2025 17:25:29 +0200 | haftmann | scope pending code equations to theories | file | diff | annotate |
| Fri, 24 Jan 2025 17:53:06 +0000 | paulson | Tidying more old proofs | file | diff | annotate |
| Tue, 24 Jan 2023 10:30:56 +0000 | haftmann | generalized theory name: euclidean division denotes one particular division definition on integers | file | diff | annotate |
| Sun, 21 Aug 2022 06:18:23 +0000 | haftmann | streamlined | file | diff | annotate |
| Fri, 04 Jan 2019 23:22:53 +0100 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |
| Tue, 20 Jun 2017 13:07:47 +0200 | haftmann | avoid ancient [code, code del] antipattern | file | diff | annotate |