coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Thomas Th�m <thomas.thuem AT st.ovgu.de>
- To: "'Adam Chlipala'" <adamc AT hcoop.net>
- Cc: "'Coq Club'" <coq-club AT pauillac.inria.fr>
- Subject: Re: [Coq-Club] Properties on mutual definitions
- Date: Wed, 9 Dec 2009 16:36:42 +0100
- List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
You are right. How do I solve it?
- [Coq-Club] Properties on mutual definitions, Thomas Thüm
- Re: [Coq-Club] Properties on mutual definitions,
Adam Chlipala
- Re: [Coq-Club] Properties on mutual definitions, Thomas Thüm
- Message not available
- Re: [Coq-Club] Properties on mutual definitions,
AUGER
- Re: [Coq-Club] Properties on mutual definitions,
muad
- Re: [Coq-Club] Properties on mutual definitions,
Adam Chlipala
- [Coq-Club] Properties on mutual definitions,
Thomas Thüm
- Re: [Coq-Club] Properties on mutual definitions, Adam Chlipala
- Re: [Coq-Club] Properties on mutual definitions,
AUGER
- [Coq-Club] Properties on mutual definitions, Thomas Thüm
- [Coq-Club] Properties on mutual definitions,
Thomas Thüm
- Re: [Coq-Club] Properties on mutual definitions,
Adam Chlipala
- Re: [Coq-Club] Properties on mutual definitions,
muad
- Re: [Coq-Club] Properties on mutual definitions,
Adam Chlipala
Archive powered by MhonArc 2.6.16.