About this document ...

This document has been put into html by G. Sleijpen on 2005-03-02.