| 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 |
| Sat, 24 Aug 2024 14:14:44 +0100 | paulson | Tidied some messy old proofs | file | diff | annotate |
| Thu, 22 Aug 2024 22:26:28 +0100 | paulson | Partial tidying of old proofs | file | diff | annotate |
| Thu, 15 Feb 2018 12:11:00 +0100 | wenzelm | more symbols; | file | diff | annotate |
| Mon, 28 Dec 2015 01:28:28 +0100 | wenzelm | more symbols; | file | diff | annotate |
| Sun, 13 Sep 2015 22:56:52 +0200 | wenzelm | tuned proofs -- less legacy; | file | diff | annotate |
| Tue, 01 Sep 2015 22:32:58 +0200 | wenzelm | eliminated \<Colon>; | file | diff | annotate |