coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: ben <Benedikt.Ahrens AT unice.fr>
- To: Matthieu Sozeau <mattam AT mattam.org>
- Cc: Coq Club <coq-club AT inria.fr>
- Subject: Re: [Coq-Club] case distinction and Program
- Date: Wed, 03 Mar 2010 21:34:54 +0100
Matthieu Sozeau wrote:
> [...]
> Hope this helps,
> -- Matthieu
Yes, it does.
Thanks a lot,
ben
- [Coq-Club] case distinction and Program, ben
- Re: [Coq-Club] case distinction and Program,
Matthieu Sozeau
- Re: [Coq-Club] case distinction and Program, ben
- Re: [Coq-Club] case distinction and Program,
Matthieu Sozeau
Archive powered by MhonArc 2.6.16.