coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Pierre-Evariste Dagand <pedagand AT gmail.com>
- To: coq-club AT inria.fr
- Subject: Re: [Coq-Club] How to look up notation definitions?
- Date: Thu, 31 Jul 2014 09:42:33 +0200
> is there a good way to look up the definition of a notation or to unfold
> notations in a goal or hypothesis?
"Locate" is your friend:
http://coq.inria.fr/refman/Reference-Manual014.html#hevea_command266
Cheers,
--
Pierre-Evariste
- [Coq-Club] How to look up notation definitions?, michael.soegtrop, 07/31/2014
- Re: [Coq-Club] How to look up notation definitions?, Pierre-Evariste Dagand, 07/31/2014
- Re: [Coq-Club] How to look up notation definitions?, Christopher Ernest Sally, 07/31/2014
- Re: [Coq-Club] How to look up notation definitions?, Cedric Auger, 07/31/2014
- Re: [Coq-Club] How to look up notation definitions?, Pierre Courtieu, 07/31/2014
- RE: [Coq-Club] How to look up notation definitions?, Soegtrop, Michael, 07/31/2014
- Re: [Coq-Club] How to look up notation definitions?, Pierre Courtieu, 07/31/2014
Archive powered by MHonArc 2.6.18.