coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Matthieu Sozeau <matthieu.sozeau AT inria.fr>
- To: coq-club AT inria.fr
- Subject: Re: [Coq-Club] Rewrite with setoid equality
- Date: Tue, 21 Jul 2015 12:29:44 +0000
Hi Richard,
I can't replay you script so it's unclear what happens.
Best,
-- Matthieu
- [Coq-Club] Rewrite with setoid equality, Richard Dapoigny, 07/21/2015
- Re: [Coq-Club] Rewrite with setoid equality, Matthieu Sozeau, 07/21/2015
- Re: [Coq-Club] Rewrite with setoid equality, richard dapoigny, 07/21/2015
- Re: [Coq-Club] Rewrite with setoid equality, Matthieu Sozeau, 07/21/2015
- Re: [Coq-Club] Rewrite with setoid equality, richard dapoigny, 07/21/2015
- Re: [Coq-Club] Rewrite with setoid equality, Matthieu Sozeau, 07/21/2015
- Re: [Coq-Club] Rewrite with setoid equality, richard dapoigny, 07/21/2015
- Re: [Coq-Club] Rewrite with setoid equality, Matthieu Sozeau, 07/21/2015
Archive powered by MHonArc 2.6.18.