HomeIsabelle/Phabricator

more scalable data structures;