On Thu, 17 Sep 2009 14:18:37 -0400 Chris Welty <cawelty@gmail.com> wrote: > > IN 2.6.1 of BLD, second para, it says: > > "RIF-BLD conditions permit only existential variables. " > > Is this just vestigial? Not sure what it is supposed to mean. Maybe that > existentials can only appear in conditions? This is redundant and may be confusing. Deleted. michaelReceived on Saturday, 19 September 2009 01:07:42 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Saturday, 19 September 2009 01:07:43 GMT