Note to info-hol mailing list, archive number 0914. Tagging theorems for proof acceleration (1993)

by Michael Gordon