ops-5

[fateman@renoir.Berkeley.EDU (Richard Fateman)]

There turns out to be an ops5 in CL at CMU, in addition to
the one done here.  A cursory inspection of the CMU one indicates
that the changes made were quite similar to those in our version.
Unless someone is desperate for a copy, I suggest holding off a
few weeks until we get a chance to more carefully
compare the two and perhaps put the best of both in one system.
Distribution in either case would be public domain.