HomeIsabelle/Phabricator

more scalable data structure (but: rarely used many arguments);