Google
 
Trailing-Edge - PDP-10 Archives - bb-jr93k-bb - 10,7/decmai/decmai.vfy
There are 9 other files named decmai.vfy in the archive. Click here to see a list.
MS.EXE 573570
MX.EXE 273375