Google
 

Trailing-Edge - PDP-10 Archives - DEC-20-OT20A-D-MC9 - 2-verify/verify.bat
There are no other files named verify.bat in the archive.