| Thu, 26 Jun 2025 17:25:29 +0200 | haftmann | scope pending code equations to theories | file | diff | annotate |
| Tue, 11 Apr 2023 11:59:02 +0000 | haftmann | proper section headings | file | diff | annotate |
| Mon, 28 Jun 2021 20:10:23 +0200 | Andreas Lochbihler | move code setup from Cardinality to separate theory | file | diff | annotate |