more accurate spacing, according to results seen in isar-ref (Appendix B), using 12pt or 10pt;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE76a061b67993: clarified order for presentation in isar-ref (Appendix B);
- Branches
- Unknown
- Tags