HomeIsabelle/Phabricator

more class operations for the sake of efficient generated code