Может быть, и раздавали.
В моем покойном НИИ в 90-е было то же самое. Что-то разобрали сотрудники, что-то удалось пристроить в городские библиотеки. А бОльшую часть - на картонно-рубероидный завод :(.
А создавала институтскую библиотеку и 30 лет ей руководила моя мама...