Delete IsaHipster.thy~