Added tag Isabelle2023 for changeset 01bf5fad3e59
Description
Description
Details
Details
- Provenance
kleing Authored on - Parents
- rAFP01bf5fad3e59: add 2023 release dates
- Branches
- Unknown
- Tags
Added tag Isabelle2023 for changeset 01bf5fad3e59 Tags None Subscribers None |