1991., International Workshop on the HOL Theorem Proving System and Its Applications