tuned, following Syntax_Trans.variant_abs;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEed4149b3d7ab: proper patterns for (- numeral t), amending 03ff4d1e6784;
- Branches
- Unknown
- Tags
tuned, following Syntax_Trans.variant_abs; Tags None Subscribers None
Description
Details
|