The Coq mailing list

[roconnor AT theorem.ca]

On Fri, 16 Dec 2005 
roconnor AT theorem.ca
 wrote:

> By complete binary tree I mean
> <http://www.nist.gov/dads/HTML/completeBinaryTree.html>
>
> but I think I would also be satified with a perfect binary tree
> <http://www.nist.gov/dads/HTML/perfectBinaryTree.html>

Er, I don't mean a perfect binary tree,  What a wanted to say is that all
the extra leaves don't need to be to the left.  So long as all leaves are
at either depth n or depth n-1, I am happy.

-- 
Russell O'Connor                                      <http://r6.ca/>
``All talk about `theft,''' the general counsel of the American Graphophone
Company wrote, ``is the merest claptrap, for there exists no property in
ideas musical, literary or artistic, except as defined by statute.''