proper theory name, e.g. for HTML/PIDE presentation;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE45a34cc581b8: more robust and permissive;
- Branches
- Unknown
- Tags
proper theory name, e.g. for HTML/PIDE presentation; Tags None Subscribers None |