coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] setoid rewriting -- naive questions

From: Vadim Zaliva <vzaliva AT cmu.edu>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] setoid rewriting -- naive questions
Date: Fri, 21 Nov 2014 15:23:07 -0800

> On Nov 21, 2014, at 15:18 , Vadim Zaliva
> <vzaliva AT cmu.edu>
> wrote:
>
> I have also a related question on the scope of instances.

Never mind. I found a source of the problem. It was a typo.
Sorry.

Sincerely,
Vadim Zaliva

--
CMU ECE PhD student
Mobile: +1(510)220-1060
Skype: vzaliva

Re: [Coq-Club] setoid rewriting -- naive questions, (continued)
- Re: [Coq-Club] setoid rewriting -- naive questions, Vadim Zaliva, 11/21/2014
  - Re: [Coq-Club] setoid rewriting -- naive questions, Vadim Zaliva, 11/22/2014
    - Re: [Coq-Club] setoid rewriting -- naive questions, Vadim Zaliva, 11/22/2014
  - Re: [Coq-Club] setoid rewriting -- naive questions, Matthieu Sozeau, 11/23/2014
    - Re: [Coq-Club] setoid rewriting -- naive questions, Vadim Zaliva, 11/23/2014
      - Re: [Coq-Club] setoid rewriting -- naive questions, Vadim Zaliva, 11/25/2014