mn200/HOL — pull request #162 by domasin (2014-04-20 08:35:13+00:00)
Title: file libraries completed

Hello,

here is the completed translation of file libraries.

Regards,
Domenico