The Coq mailing list

[Paolo Herms <paolo.herms AT inria.fr>]

On Monday 21 May 2012 19:35:53 Viktor Vafeiadis wrote:
> econstuctor (solve [eauto]).

On Wednesday 23 May 2012 11:06:46 Pierre Courtieu wrote:
> I am sorry but I did not find the reference to the tactic argument of
> econstructor at the url you gave and in the documentation in general.
> Can you be more precise please?
> 
No sorry, I just didn't read Viktor's mail correctly.
Me too, I didn't know about the tactic argument of econstructor which can be 
greatly useful and should absolutely be documented.
-- 
Paolo Herms
PhD Student - CEA Software Safety Lab. / Inria ProVal project-team
Paris, France