About this document ...

This document has been put into html by G. Sleijpen on 2004-02-23.