HomeIsabelle/Phabricator

avoid mixture of definitionally equal constants