Skip to Content.

Sympa Menu

coq-club - [Coq-Club] custom tactics-forall hypotesis

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] custom tactics-forall hypotesis

chronological Thread

From: Marco Servetto <marco.servetto AT gmail.com>
To: coq-club AT inria.fr
Subject: [Coq-Club] custom tactics-forall hypotesis
Date: Tue, 26 Jul 2011 16:46:28 +0200

Hi, I'm wondering if there is a simple way to *try* a tactic over all
the hypothesis.
(of course is useful to put itself into a tactic)

[Coq-Club] custom tactics-forall hypotesis, Marco Servetto
- Re: [Coq-Club] custom tactics-forall hypotesis, Gregory Malecha

Archive powered by MhonArc 2.6.16.