Re: changes to the well-foundedness condition

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