HomeIsabelle/Phabricator

single lopp variant refined to lists.