Recording HOL proofs (1993)

by W Wong