HomeIsabelle/Phabricator

prefer named facts;

Description

prefer named facts;
tuned signature;

Details

Provenance
makariusAuthored on
Parents
rISABELLE64249a83bc29: clarified contexts;
Branches
Unknown
Tags
Unknown