HomeIsabelle/Phabricator

more subdivision of Logic