coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Reference ... not found

From: harke AT cs.pdx.edu
To: zell08v AT orange.fr
Cc: coq-club AT inria.fr
Subject: Re: [Coq-Club] Reference ... not found
Date: Thu, 25 Feb 2010 15:03:35 -0800

You need to end your definition with a period (".").

Definition nandb (b1:bool) (b2:bool) : bool := orb (negb b1) (negb b2).

On Thu, Feb 25, 2010 at 11:59:04PM +0100,
zell08v AT orange.fr
wrote:
] [snip]
] Definition nandb (b1:bool) (b2:bool) : bool := orb (negb b1) (negb
b2)

--
Tom Harke

[Coq-Club] Reference ... not found, zell08v
- Re: [Coq-Club] Reference ... not found, harke