This document was generated on 9 November 1996 using a modified version of the texi2html translator version 1.46.