Skip to Content.

Sympa Menu

coq-club - Re: [Coq-Club] Howto instantiate forall in the assumptions?

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Howto instantiate forall in the assumptions?

chronological Thread

From: Hendrik Tews <tews AT os.inf.tu-dresden.de>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Howto instantiate forall in the assumptions?
Date: Thu, 2 Dec 2010 09:10:30 +0100

Thanks for these quick answers! I filed a new FAQ entry as
enhancement bug 2446.

Hendrik

Re: [Coq-Club] Howto instantiate forall in the assumptions?, Hendrik Tews

Archive powered by MhonArc 2.6.16.