Исправлены ошибка компиляции теорем RUN_ARM_AL_sys_thm, RUN_ARM_NV_sys_thm, OUT_ARM_AL_sys_thm, OUT_ARM_NV_sys_thm (GEN заменен на Thm.GEN)