Most of the information in these old README files has been
included in the updated Otter manual (otter33.pdf and otter33.ps).
