Опубликованный пакет / CLIR

`isabelle.order.permissions`

v0.1.0

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

Работа	Номер	Редакций	Фрагментов
isabelle.order.permissions	sha256:e5988d63317612732ff10702b24bea8bd749a8c62b04f51db1eb338f36f5a17e	1	4