Skip to Content.

Sympa Menu

coq-club - [Coq-Club] Ltac: first [] and ||

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Ltac: first [] and ||

chronological Thread

From: AUGER Cedric <Cedric.Auger AT lri.fr>
To: coq-club AT inria.fr
Subject: [Coq-Club] Ltac: first [] and ||
Date: Fri, 19 Nov 2010 21:08:17 +0100

Hi all;
can somebody explain me the differences between
tac1||tac2||tac3||tac4
and
first [tac1|tac2|tac3|tac4]
?

[Coq-Club] Deactivation of the printing "some" notations, Gyesik Lee
- Re: [Coq-Club] Deactivation of the printing "some" notations, Martijn Vermaat
  - [Coq-Club] Ltac: first [] and ||, AUGER Cedric
    - Re: [Coq-Club] Ltac: first [] and ||, St�phane Lescuyer

Archive powered by MhonArc 2.6.16.