Delete Exp.thy~