backed out changeset 2ecb8f5e085f: obsolete thanks to Isabelle/21cdcd120a78;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rAFP2ecb8f5e085f: more robust: make it work with Isabelle/a12c48fbf10f;
- Branches
- Unknown
- Tags
- Reverts
- rAFP2ecb8f5e085f: more robust: make it work with Isabelle/a12c48fbf10f;