Added tag Isabelle2020-RC4 for changeset 1f3d9a9dd42a
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE1f3d9a9dd42a: more robust, notably wrt. interrupts;
- Branches
- Unknown
- Tags
Added tag Isabelle2020-RC4 for changeset 1f3d9a9dd42a Tags None Subscribers None |