HomeIsabelle/Phabricator

avoid name clash of internal derivations;