clarified export of spec rules: more like locale;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE8af82f3e03c9: formal position for spec rule (not significant for equality);
- Branches
- Unknown
- Tags
clarified export of spec rules: more like locale; Tags None Subscribers None |