Create Preliminaries.thy