Italian translations of Logic and Description sources
Merge branch 'master' of https://github.com/domasin/HOL
Merge pull request #139 from domasin/master

Italian translations of Tutorial and Logic sources