prefer attributes antiquotation over Attrib.internal;
adapted to Isabelle/bc42c074e58f;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rAFPa023f98be016: tuned proofs;
- Branches
- Unknown
- Tags
prefer @{attributes} antiquotation over Attrib.internal;
Description prefer attributes antiquotation over Attrib.internal;
Details
Changes (29)
rAFPae5dec7716f4 |