HomeIsabelle/Phabricator

clarified access to single database server vs. collection of database files;