delect installed ATPs dynamically, _not_ at image built time
delect installed ATPs dynamically, _not_ at image built time

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle