HOL has 9 translations in 7 languages
translations of HOL
DE IT Italian 2 translations
DE PT Portuguese 2 translations
DE NL Dutch 1 translation
DE SV Swedish 1 translation
DE DA Danish 1 translation
DE SL Slovenian 1 translation
Words before and after HOL