HomeIsabelle/Phabricator

clarified modules;

Description

clarified modules;
avoid initial use of _settings during init;

Details

Provenance
makariusAuthored on
Parents
rISABELLE4d64bc387867: tuned: prefer Java interfaces;
Branches
Unknown
Tags
Unknown