Studies in mechanical verification of mathematical proofs by M.P.J. Ruys