coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Matthieu.Sozeau AT lri.fr
- To: coq-club AT pauillac.inria.fr
- Subject: Re: [Coq-Club] dealing with mutually-inductive definitions
- Date: Thu, 9 Aug 2007 19:00:17 +0200 (CEST)
- Importance: Normal
- List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
Actually I messed up when backporting and this is not available in 8.1pl1.
Sorry for the inconvenience.
-- Matthieu Sozeau
- [Coq-Club] dealing with mutually-inductive definitions, Noam Zeilberger
- Re: [Coq-Club] dealing with mutually-inductive definitions, Noam Zeilberger
- <Possible follow-ups>
- [Coq-Club] dealing with mutually-inductive definitions,
Noam Zeilberger
- Re: [Coq-Club] dealing with mutually-inductive definitions, Adam Chlipala
- Re: [Coq-Club] dealing with mutually-inductive definitions, Xavier Leroy
- Re: [Coq-Club] dealing with mutually-inductive definitions, Matthieu . Sozeau
- Re: [Coq-Club] dealing with mutually-inductive definitions, Matthieu . Sozeau
Archive powered by MhonArc 2.6.16.