coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Bernard Hurley <bernard AT marcade.biz>
- To: Adam Chlipala <adamc AT csail.mit.edu>
- Cc: coq-club AT inria.fr
- Subject: Re: [Coq-Club] A query about types.
- Date: Thu, 19 Apr 2012 11:43:08 +0100
On Thu, Apr 19, 2012 at 06:37:46AM -0400, Adam Chlipala wrote:
>
> Example et : explain true := I.
Thanks!
Bernard.
- [Coq-Club] A query about types., Bernard Hurley
- Re: [Coq-Club] A query about types.,
Adam Chlipala
- Re: [Coq-Club] A query about types., Bernard Hurley
- Re: [Coq-Club] A query about types.,
Adam Chlipala
Archive powered by MhonArc 2.6.16.