coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Adam Chlipala <adamc AT csail.mit.edu>
- To: Patricia Peratto <psperatto AT adinet.com.uy>
- Cc: coqclub <coq-club AT inria.fr>
- Subject: Re: [Coq-Club] parameters and forall
- Date: Sat, 21 Apr 2012 13:59:54 -0400
Patricia Peratto wrote:
Is true that with parameters and -> I don't need forall?
or is there a case in which forall is necesary?
It's not clear what you mean by "parameter" here. Perhaps an example or two would help you phrase your question more understandably?
- [Coq-Club] parameters and forall, Patricia Peratto
- Re: [Coq-Club] parameters and forall, Adam Chlipala
Archive powered by MhonArc 2.6.16.