Google
 

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