Mechanizing Proof by Donald A. MacKenzie & Donald MacKenzie