New indexing‐abstracting system for formal reports, development and proof services, aberdeen proving ground