| Tue, 30 Jan 2024 17:36:14 +0100 | wenzelm | clarified symbolic host name; | changeset | files |
| Tue, 30 Jan 2024 17:35:42 +0100 | wenzelm | allow remote_build on this host (server-arm), without conflicts of this "isabelle_self"; | changeset | files |
| Tue, 30 Jan 2024 12:48:27 +0100 | wenzelm | more robust message; | changeset | files |
| Tue, 30 Jan 2024 16:39:21 +0000 | paulson | A few more new theorems taken from AFP entries | changeset | files |
| Mon, 29 Jan 2024 21:18:11 +0100 | nipkow | merged | changeset | files |
| Mon, 29 Jan 2024 21:17:57 +0100 | nipkow | define_time_function: avoid unused let's | changeset | files |
| Mon, 29 Jan 2024 19:35:07 +0000 | haftmann | common type class for trivial properties on div/mod | changeset | files |