Добавлены теоремы RUN_ARM_AL_def, RUN_ARM_NV_def, SIMP_RULE (bool_ss++pred_setSimps.PRED_SET_ss) [] OUT_ARM_AL_def, SIMP_RULE (bool_ss++pred_setSimps.PRED_SET_ss) [] OUT_ARM_NV_def, NEXT_ARM_MMU_AL, NEXT_ARM_MMU_NV, NEXT_ARM_MEM, NEXT_ARM_MEM_AL, NEXT_ARM_MEM_NV в arm_compset