HomeIsabelle/Phabricator

clarified defaults: imitate "isabelle components -I" without further parameters;

Description

clarified defaults: imitate "isabelle components -I" without further parameters;

Details

Provenance
makariusAuthored on
Parents
rISABELLE7770537f5ceb: tuned;
Branches
Unknown
Tags
Unknown