| Thu, 06 Feb 2025 22:10:16 +0100 | wenzelm | more accurate rail diagram (amending de9d43c427ae); | changeset | files |
| Thu, 06 Feb 2025 17:29:03 +0100 | nipkow | merged | changeset | files |
| Thu, 06 Feb 2025 17:28:27 +0100 | nipkow | added Example theory | changeset | files |
| Thu, 06 Feb 2025 16:21:00 +0000 | paulson | merged | changeset | files |
| Thu, 06 Feb 2025 16:20:52 +0000 | paulson | Minor lemma tweaking | changeset | files |
| Thu, 06 Feb 2025 16:44:50 +0100 | wenzelm | merged | changeset | files |
| Thu, 06 Feb 2025 14:35:39 +0100 | wenzelm | merged | changeset | files |
| Thu, 06 Feb 2025 13:31:59 +0100 | wenzelm | tuned output; | changeset | files |
| Thu, 06 Feb 2025 13:29:28 +0100 | wenzelm | tuned comments; | changeset | files |
| Thu, 06 Feb 2025 12:46:13 +0100 | wenzelm | clarified signature; | changeset | files |
| Thu, 06 Feb 2025 12:18:56 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 06 Feb 2025 12:07:47 +0100 | wenzelm | avoid tmp files to improve robustness on Windows, where ERROR_PATH_NOT_FOUND has been seen (see also 569135d7352a); | changeset | files |
| Wed, 05 Feb 2025 23:11:07 +0100 | wenzelm | tuned signature: more operations (following Isabelle/Scala); | changeset | files |
| Wed, 05 Feb 2025 22:54:47 +0100 | wenzelm | more operations; | changeset | files |