[Agda] Re: [Coq-Club] Adding (inductive) transitivity to weak bisimilarity not sound? (was: Need help with coinductive proof)

[Edsko de Vries]

Hmm, well, perhaps it's obvious to you, but it's not obvious to me that
adding an inductive transitivity rule to an relation which is probably
transitive is not sound..

-E
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.chalmers.se/mailman/private/agda/attachments/20090901/e620e177/attachment.html