Download Introduction To Hol: A Theorem-Proving Environment For Higher-Order Logic