Backed out changeset a56916696df0 (already past Isabelle2019-RC2)
Description
Description
Details
Details
- Provenance
kleing Authored on - Parents
- rAFP0125fe289677: added citation clause
- Branches
- Unknown
- Tags
Backed out changeset a56916696df0 (already past Isabelle2019-RC2) Tags None Subscribers None |