coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Re: implicitly generalizing binders: is this the expected behavior? (svn r13458)

From: Adam Megacz <megacz AT cs.berkeley.edu>
To: coq-club AT inria.fr
Subject: [Coq-Club] Re: implicitly generalizing binders: is this the expected behavior? (svn r13458)
Date: Wed, 03 Nov 2010 02:32:56 +0000
Cancel-lock: sha1:jC5FBqEbSbRgazcnOomVZUQOKt8=
Organization: Myself

Adam Megacz
<megacz AT cs.berkeley.edu>
writes:
>  * In the script below, Coq's responses are shown in comments with a ">".

I've logged this as bug 2426.

  http://www.lix.polytechnique.fr/coq/bugs/show_bug.cgi?id=2426

  - a

[Coq-Club] Re: implicitly generalizing binders: is this the expected behavior? (svn r13458), Adam Megacz