Delete Preliminaries.thy