coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] rewrite problem

From: Alexandre Pilkiewicz <alexandre.pilkiewicz AT polytechnique.org>
To: "M. Scott Doerrie" <mdoerri AT cs.jhu.edu>
Cc: coq-club AT inria.fr
Subject: Re: [Coq-Club] rewrite problem
Date: Fri, 1 Oct 2010 19:58:00 +0200
Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:in-reply-to:references:from:date :x-google-sender-auth:message-id:subject:to:cc:content-type; b=Jb6j5RE6eRilNK71NuxRnQLNlDP+VHEYFmk8eoxYLUBcUeq7Utap29dVhM59sAScmz 9VOgeRDH3vsOrqU+WxXrUiFAEtxzxdloi7B/5I8LKtujXRe6//fYiy0/aHFXArnFviRg 9xFDWZ7UtNGyCAFc1G6mqKhbMqn82dxINb6rU=

2010/10/1 M. Scott Doerrie
<mdoerri AT cs.jhu.edu>:
> You're right, and I'm feeling terribly foolish for not having noticed the
> binding long ago.

A fresh look at a problem is often useful :)

Cheers

Alexandre

[Coq-Club] rewrite problem, M. Scott Doerrie
- Re: [Coq-Club] rewrite problem, Adam Chlipala
  - Re: [Coq-Club] rewrite problem, M. Scott Doerrie
    - Re: [Coq-Club] rewrite problem, Alexandre Pilkiewicz
      - Re: [Coq-Club] rewrite problem, M. Scott Doerrie
        
        Re: [Coq-Club] rewrite problem, Alexandre Pilkiewicz