Added tag Isabelle2021-1 for changeset c2a2be496f35
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEc2a2be496f35: tuned;
- Branches
- Unknown
- Tags
Added tag Isabelle2021-1 for changeset c2a2be496f35 Tags None Subscribers None |