Re: quick fix for bld Groups (& core and FLD)?

Chris,
thanks for making the changes. I overlooked these.

michael

On Mon, 08 Jun 2009 11:03:16 -0400
Chris Welty <cawelty@gmail.com> wrote:

> * section 2.3 item 6 (Groups) shoudl be updated to say something like:
> 
> As a special case, Group() is allowed and is treated as a tautology, i.e., a 
> formula that is always true.
> 
> * section 3.4 item 12 (Groups) shoudl be updated to say something like:
> 
> The empty group is treated as a tautology, so TValI(Group()) = t.
> 
> Michael is on vacation.  I'm happy to make the update myself but would like a 
> nod or two from someone that empty groups are desired (ignoring the fact that 
> several people don't want groups at all).