HomeIsabelle/Phabricator

more renamings in Saturation Framework