HomeIsabelle/Phabricator

no hardwired document;

Description

no hardwired document;
proper condition;

Details

Provenance
makariusAuthored on
Parents
rAFPf9dd3b4a6fd5: tuned theory structure
Branches
Unknown
Tags
Unknown