You are about to access our book library "Introduction to HOL: A Theorem-Proving Environment for Higher-Order Logic full version" .