mn200/HOL — pull request #152 by domasin (2014-02-24 12:27:44+00:00)
Title: definitions completed

Hello, I send you the italian translation of definitions.tex