more explicit latex markup;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE52f3d1cd8d63: follow recent changes of Sledgehammer defaults, as 0a46b3dbd5ad exposes a hint…
- Branches
- Unknown
- Tags
more explicit latex markup; Tags None Subscribers None |