HomeIsabelle/Phabricator

CTR and ETTS: several amendments (fact names, printing, presentation)

Description

CTR and ETTS: several amendments (fact names, printing, presentation)

Details