Recording HOL Proofs 50 [5 (1993)

by J von Wright