coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Select .. Shift

From: Taral <taralx AT gmail.com>
To: Woon Ming <woon_ming AT comp.nus.edu.sg>
Cc: coq-club AT pauillac.inria.fr
Subject: Re: [Coq-Club] Select .. Shift
Date: Tue, 17 Feb 2009 11:46:05 -0800
Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type:content-transfer-encoding; b=cwT6E0l/jOx8Acv/Mt7bf6jMyc2UUVRdZ1nprgbgy14k+0F8F4rXyGMON5I+SX6Xbr zQ0puEqm7Vo9rc3M6Nj+r7SeQ/Z7VQbAOxXUMadQEjmqxWxNheDe6FSWi7iU1wSXtlWs AtqMP2VpuLFyxekuCzyckVf3Fn2aWlrV5wnNM=
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

On Mon, Feb 16, 2009 at 10:08 AM, Woon Ming
<woon_ming AT comp.nus.edu.sg>
wrote:
> select intM_intP (shift t j) <= select intM_intP (shift t 0)

This isn't true generally, so I can only assume there are hypotheses
that make it true. Perhaps you can provide more context?

--
Taral
<taralx AT gmail.com>
"Please let me know if there's any further trouble I can give you."
-- Unknown

[Coq-Club] Select .. Shift, Woon Ming
- Re: [Coq-Club] Select .. Shift, Taral