coq-club AT inria.fr

Subject: The Coq mailing list

List archive

chronological Thread

From: Adam Koprowski <adam.koprowski AT gmail.com>
To: Tie Cheng <chengtie AT gmail.com>
Cc: coq-club AT inria.fr
Subject: Re: [Coq-Club] Re: add Z nat
Date: Wed, 2 Feb 2011 23:13:03 +0100
Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type; b=klDyfGkrItEjUtVt+ovoFWiB8RhGauTc+4OYTVQ3nREaCeOdExmkoFvpQv49grliV6 3nJm1Sae3YeCP6K6YoW8Y/Tyh/6YaObDXmF5hoglL8JCdSWJ73PU5eWKYbzfTpgvSPKX tDrx7CJaENPWI7Ea9T45QocFs0TsZzBSAS4jw=

On Wed, Feb 2, 2011 at 23:10, Tie Cheng <chengtie AT gmail.com> wrote:

and is there a function to convert a variable of nat to Z?

��Best,

��Adam

--
Adam Koprowski��[http://adam-koprowski.net]
R&D @ MLstate�� [http://mlstate.com]

[Coq-Club] add Z nat, Tie Cheng
- [Coq-Club] Re: add Z nat, Tie Cheng
  - Re: [Coq-Club] Re: add Z nat, Adam Koprowski
    - Re: [Coq-Club] Re: add Z nat, Tie Cheng