HomePhabricator

no printing of axioms -- too bulky;

Authored by makarius.