HomeIsabelle/Phabricator

corrections and adjustions for Scala 3