HomeIsabelle/Phabricator

Support for multiple results from function calls.