On the union of well-founded relations

Give an example of two well-founded relations whose union is not well founded.

Solution

Look at this file .
Warning : in CoqCVS, compile with option -no-vm
Going home