8 months ago | wenzelm | merged, resoving conflicts in src/HOL/Nominal/Nominal.thy; | changeset | files |
8 months ago | wenzelm | Added tag Isabelle2024-RC3 for changeset 007e6af8a020 | changeset | files |
8 months ago | wenzelm | more documentation on "System registry via TOML"; | changeset | files |
Loading... |