HomeIsabelle/Phabricator

more complete simp rules (examples)