HomeIsabelle/Phabricator

avoid Scala if-expressions and thus make it work both for -new-syntax or -old…