coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Robbert Krebbers <mailinglists AT robbertkrebbers.nl>
- To: coq-club AT inria.fr
- Cc: Rui Baptista <rpgcbaptista AT gmail.com>
- Subject: Re: [Coq-Club] Rewriting with equivalence relations in Set / Type
- Date: Fri, 28 Feb 2014 00:00:34 +0100
On 02/27/2014 11:42 PM, Rui Baptista wrote:
Isn't there a command for deleting theorems from the databases autoYes, [Remove Hints].
uses? I think I remember reading about that in this mailing list.
- [Coq-Club] Rewriting with equivalence relations in Set / Type, Rui Baptista, 02/27/2014
- <Possible follow-up(s)>
- [Coq-Club] Rewriting with equivalence relations in Set / Type, Rui Baptista, 02/27/2014
- Re: [Coq-Club] Rewriting with equivalence relations in Set / Type, Jason Gross, 02/27/2014
- Re: [Coq-Club] Rewriting with equivalence relations in Set / Type, Rui Baptista, 02/27/2014
- Re: [Coq-Club] Rewriting with equivalence relations in Set / Type, Rui Baptista, 02/27/2014
- Re: [Coq-Club] Rewriting with equivalence relations in Set / Type, Jason Gross, 02/27/2014
- Re: [Coq-Club] Rewriting with equivalence relations in Set / Type, Pierre-Marie Pédrot, 02/28/2014
- Re: [Coq-Club] Rewriting with equivalence relations in Set / Type, Rui Baptista, 02/28/2014
- Re: [Coq-Club] Rewriting with equivalence relations in Set / Type, Pierre-Marie Pédrot, 02/28/2014
- Re: [Coq-Club] Rewriting with equivalence relations in Set / Type, Robbert Krebbers, 02/28/2014
- Re: [Coq-Club] Rewriting with equivalence relations in Set / Type, Rui Baptista, 02/27/2014
- Re: [Coq-Club] Rewriting with equivalence relations in Set / Type, Jason Gross, 02/27/2014
Archive powered by MHonArc 2.6.18.