HomeIsabelle/Phabricator

cleaned up obsolete E setup and a bit of SPASS