- From: Jos de Bruijn <debruijn@inf.unibz.it>
- Date: Thu, 26 Mar 2009 17:56:07 +0100
- To: kifer@cs.sunysb.edu
- CC: RIF WG Public list <public-rif-wg@w3.org>
Michael Kifer wrote: > In accordance with today's decision to relax the constraints on the symbols in > BLD, I have relaxed the conditions for well-foundedness and the corresponding > specialization from FLD - pls see the wiki > > I think the decision didn't explicitly mention whether external and plain > function symbols (and likewise predicate symbols) are to be interchangeable or > not. I assumed that they are not, but just wanted to mention this in case > anybody objects. This was also my understanding. Jos > > michael > -- +43 1 58801 18470 debruijn@inf.unibz.it Jos de Bruijn, http://www.debruijn.net/ ---------------------------------------------- Many would be cowards if they had courage enough. - Thomas Fuller
Received on Thursday, 26 March 2009 16:57:09 UTC