Backed out changesets 4424bf5e28e0, 6bdf58e7175e, 9bd18ac101a7 for Isabelle2020
Description
Description
Details
Details
- Provenance
kleing Authored on - Parents
- rAFP9ff984debb46: merge from afp-2019
- Branches
- Unknown
- Tags
- Reverts
- rAFP9bd18ac101a7: elimination of some aliases, etc.
rAFP6bdf58e7175e: elimination of some aliases
rAFP4424bf5e28e0: more fixes for alias issues (which for Auto2 means giving up)