Italian translations of Logic and Description sources
Merge branch 'master' of https://github.com/domasin/HOL