more fixes for alias issues (which for Auto2 means giving up)
Description
Description
Details
Details
- Provenance
paulson <lp15@cam.ac.uk> Authored on - Parents
- rAFP6bdf58e7175e: elimination of some aliases
- Branches
- Unknown
- Tags
- Reverted By
- rAFP846453287399: Backed out changesets 4424bf5e28e0, 6bdf58e7175e, 9bd18ac101a7 for Isabelle2020