Title: HOL, a machine orientated formulation of higher order logic