henry (10/27/82)
Installed Geoff Collyer's lint-library definitions file for use with the multiprecision arithmetic package, -lmp. Unlikely to get any major use, but still worth having.