coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] co-Acc

From: muad <muad.dib.space AT gmail.com>
To: coq-club AT pauillac.inria.fr
Subject: [Coq-Club] co-Acc
Date: Wed, 2 Sep 2009 09:15:44 -0700 (PDT)
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Is there an analogue of Acc & well_founded for coinductives?
--
View this message in context:
http://www.nabble.com/co-Acc-tp25260731p25260731.html
Sent from the Coq mailing list archive at Nabble.com.

[Coq-Club] co-Acc, muad
- Re: [Coq-Club] co-Acc, Edsko de Vries