coq-club AT inria.fr

Subject: The Coq mailing list

List archive

chronological Thread

From: Gyesik Lee <gslee AT ropas.snu.ac.kr>
To: coq-club AT inria.fr
Subject: [Coq-Club] Locating a tactic or tactic notation
Date: Mon, 31 May 2010 16:59:04 +0900
Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:date:x-google-sender-auth:message-id:subject :from:to:content-type; b=SEYisG1Mx0XieHFVZlodOiweLXtmfR+phlygF9Q7FxTB4d/VJgEqiCgHgdXLnANZ9y iK/ATfBMcn0sPyrafV1xQBNWwwDiCTWJegqmTpgGR2wkRKYci1QamAGlYiwWtBN6hoiN 7kP3LdWCPK1pxvd4inYeouJg9vTsmmN8C7rwQ=

Hi,

is there a way to locate defined tactics or tactic notations?

Gyesik