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