mn200/HOL — pull request #139 by domasin (2013-12-27 10:42:25+00:00)
Title: Italian translations of Tutorial and Logic sources

Hello,

I send you this pull requests for the Italian translations of Tutorial and Logic sources.

Kind Regards,
Domenico