HomeIsabelle/Phabricator

misc tuning: follow Table() more closely;