This document was generated on 7 August 1998 using the
texi2html
translator version 1.51a.
Modified by the Singular-Team 19.6.1998