HomeIsabelle/Phabricator

activated simproc defined_all