Published package / CLIR

Разрешения условного импорта правил порядка Isabelle