On Thu, 5 May 2005, Robert Harper wrote: > Contrary to what you're suggesting, there already IS a single source for > this, namely Schuermann's PhD thesis. I wasn't aware that his thesis covered the details for uniqueness checking, for example. -- -- Geoff Washburn | geoffw at cis.upenn.edu | http://www.cis.upenn.edu/~geoffw/ --