A proof checker for HOL proofs (1995)

by W Wong