| Wed, 05 Feb 2025 13:00:04 +0100 | wenzelm | tuned output; | changeset | files |
| Wed, 05 Feb 2025 12:11:13 +0100 | wenzelm | misc tuning; | changeset | files |
| Wed, 05 Feb 2025 12:00:14 +0100 | wenzelm | tuned Isabelle/ML: more uniform semicolons; | changeset | files |
| Wed, 05 Feb 2025 11:55:51 +0100 | wenzelm | clarified signature: scalable Bash.input thanks to Bytes.T; | changeset | files |
| Thu, 06 Feb 2025 14:46:49 +0100 | nipkow | added time_partial_function command | changeset | files |
| Wed, 05 Feb 2025 16:34:56 +0000 | paulson | A couple of theorems proved by Manuel Eberl from his AFP entry Sum_Of_Squares_Count | changeset | files |
| Tue, 04 Feb 2025 22:21:36 +0100 | wenzelm | tuned; | changeset | files |