HomeIsabelle/Phabricator

proper check of registered Scala functions;