HomeIsabelle/Phabricator

support for scalable byte strings, with incremental construction;