HomeIsabelle/Phabricator

clarified signature for Scala functions;