Added tag Isabelle2021-RC2 for changeset 802647edfe7b
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE802647edfe7b: tuned;
- Branches
- Unknown
- Tags
Added tag Isabelle2021-RC2 for changeset 802647edfe7b Tags None Subscribers None |