discontinued odd absolute position (amending 85bcdd05c6d0, 1975f397eabb): it violates translation invariance of commands and may lead to redundant re-checking of PIDE document;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE9bf36baa8686: Corrected lemma that was too specific in HOL-Computational_Algebra
- Branches
- Unknown
- Tags