Ссыли для поиска кодов в предложениях по производителю HOL (HOL)

Перечень кодов производителя HOL (HOL)