HomeIsabelle/Phabricator

avoid duplicate fact error on global_interpretation of residues