android: id = "@ id / android: list" относится к android.R.id.list. android.R содержит ресурсы, которые связаны с платформой. Существует много этих стандартных ресурсов, все они перечислены в JavaDoc .
@ + создает ресурс, поэтому android: id = "@ + id / verify" создает новый идентификатор в классе R вашего приложения, т.е. R.id.confirm. Это объясняется в Интерфейс пользователя> Объявление макета> ID Руководства разработчика.
Я не уверен, что вы можете сделать android: id = "@ + id / android: list", так как это будет означать, что вы пытаетесь создать ресурс в классе ресурсов платформы.