| 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 |
| Tue, 04 Feb 2025 22:12:06 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 04 Feb 2025 22:04:12 +0100 | wenzelm | tuned signature; | changeset | files |
| Tue, 04 Feb 2025 20:32:15 +0100 | wenzelm | proper Path.print for user output (amending 9498623b27f0); | changeset | files |
| Tue, 04 Feb 2025 21:50:15 +0100 | wenzelm | tuned signature: more concise access to context data; | changeset | files |
| Tue, 04 Feb 2025 20:31:24 +0100 | wenzelm | tuned English prose; | changeset | files |