Skip to Content.

Sympa Menu

coq-club - [Coq-Club] parameters and forall

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] parameters and forall

chronological Thread

From: "Patricia Peratto" <psperatto AT adinet.com.uy>
To: "coqclub" <coq-club AT inria.fr>
Subject: [Coq-Club] parameters and forall
Date: Sat, 21 Apr 2012 14:58:31 -0300

Is true that with parameters and -> I don't need forall?

or is there a case in which forall is necesary?

Regards

Patricia

[Coq-Club] parameters and forall, Patricia Peratto
- Re: [Coq-Club] parameters and forall, Adam Chlipala

Archive powered by MhonArc 2.6.16.