| Tue, 14 Mar 2023 10:05:57 +0100 | wenzelm | tuned output; | changeset | files |
| Tue, 14 Mar 2023 09:47:07 +0100 | wenzelm | tuned output; | changeset | files |
| Tue, 14 Mar 2023 18:19:10 +0100 | nipkow | Adjusted to new map update priorities | changeset | files |
| Tue, 14 Mar 2023 14:00:07 +0100 | nipkow | bring priority in line with ordinary function update notation | changeset | files |
| Tue, 14 Mar 2023 10:35:10 +0100 | nipkow | merged | changeset | files |
| Tue, 14 Mar 2023 10:34:48 +0100 | nipkow | use tree (simpler) instead of rbt (exercise) | changeset | files |
| Mon, 13 Mar 2023 22:21:33 +0100 | wenzelm | enforce rebuild of Isabelle/ML; | changeset | files |