Recent activity - Создание конетных типов в z3ext http://z3ext.net/russian/documents/tutorial/step1/ Content recent activity.