On Fri, 25 May 2007 12:32:14 -0400 glasser at mit.edu wrote: > Fri May 25 12:31:59 EDT 2007 glasser at mit.edu > * Add a test that the size field of StackSet is correct to > QuickCheck invariant. Applied, thanks.