support generated preferences, i.e. non-strict system options;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE4a013c92a091: factored out auxiliary theory
- Branches
- Unknown
- Tags
support generated preferences, i.e. non-strict system options; Tags None Subscribers None
Description
Details
|