HomeIsabelle/Phabricator

normalizing NOT (numeral _) (again)