HomeIsabelle/Phabricator

support generated preferences, i.e. non-strict system options;

Authored by makarius.

Description

support generated preferences, i.e. non-strict system options;

Details

Committed
makariusJul 5 2020, 11:00 AM
Parents
rISABELLE4a013c92a091: factored out auxiliary theory
Branches
Unknown
Tags
Unknown