Delete example.thy