coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re:DInd

From: Eduardo Gimenez <Eduardo.Gimenez AT inria.fr>
To: hhg AT dcs.ed.ac.uk
Cc: coq-club AT pauillac.inria.fr
Subject: Re:DInd
Date: Tue, 10 Feb 1998 10:10:10 +0100

Hello Healf,

> Has the "DInd" tactic disappeared in Coq V6.2? Is there a suggested
> replacement? (Perhaps "Induction; Unify"?)

The tactic DInd is now called Double Induction.

Regards,
Eduardo.

DInd, Healfdene Goguen
- <Possible follow-ups>
- Re:DInd, Eduardo Gimenez