Si vous êtes ici, vous cherchez évidemment la réponse à la question posée ci-dessus. Le plus fréquent problème rendant difficile le travail avec le fichier HOL c'est le manque d'application installée. La plus simple solution consiste à télécharger et à installer une des applications desservant les fichiers HOL. (pour le système opérationnel donné). Pour 90% de cas, cette action devrait résoudre vos problèmes avec le fichier HOL.
Si, malgré l'installation d'une des applications, votre problème avec le fichier HOL n'est pas résolu, probablement votre fichier n'est pas associé à une application convenable (ici plus de renseignements). Vous pouvez profiter du conseil dont le lien est présenté dans la dernière phrase ou procéder aux actions suivantes:
Au cas où aucune option décrite n'a réussi quant aux problèmes du fichier HOL, une autre cause peut se présenter. Votre fichier HOL peut être tout simplement endommagé - en tout cas vous pouvez chercher une autre version du fichier HOL de la même source qu'auparavant. Peut-être, il y avait des problèmes de téléchargement ou de copie du fichier HOL, qui ont causé une telle situation.