HOL

HOL의 다른 뜻은 다음과 같다.

이 문서는 명칭은 같지만 대상이 다를 때에 쓰이는 동음이의어 문서입니다.
어떤 링크가 이 문서를 가리키고 있다면, 그 링크를 알맞게 고쳐 주세요.