Development of Iwasawa theory