coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: Re: Re: [Coq-Club] How to project/define these attributes?

From: zaman.a25 AT gmail.com
To: coq-club AT inria.fr
Subject: Re: Re: Re: [Coq-Club] How to project/define these attributes?
Date: Wed, 10 Aug 2011 16:12:37 +0200

Thanks for your response. I dont wish to combine them. Id simply like to get
the ProtocolEvent of p1 and then of p2, separately. So, for the last
constructor, pick the ProtocolEvent of the first argument and return it, then
pick the second and return it...

[Coq-Club] How to project/define these attributes?, zaman . a25
- Re: [Coq-Club] How to project/define these attributes?, Adam Chlipala
- <Possible follow-ups>
- Re: Re: [Coq-Club] How to project/define these attributes?, zaman . a25
  - Re: [Coq-Club] How to project/define these attributes?, Adam Chlipala
    - Re: [Coq-Club] How to project/define these attributes?, AUGER Cedric
- Re: Re: [Coq-Club] How to project/define these attributes?, zaman . a25
  - Re: [Coq-Club] How to project/define these attributes?, Adam Chlipala
- Re: Re: [Coq-Club] How to project/define these attributes?, zaman . a25
  - Re: Re: [Coq-Club] How to project/define these attributes?, Vincent Siles
- Re: Re: Re: [Coq-Club] How to project/define these attributes?, zaman . a25
  - Re: [Coq-Club] How to project/define these attributes?, Adam Chlipala