HomeIsabelle/Phabricator

simp rules for negative numerals