Review of Mike Gordon and Tom Melham (editors), An Introduction to HOL, a Theorem Proving Environment for Higher Order Logic - Hutton, Graham (Cambridge University Press, 1994)