On 23 Apr 2012, at 17:33, Roger Bishop Jones wrote:

> Rob was rather definite in his rejection of my "prohibition" 
> interpretation (of Spivey) without saying why.
> 

Perhaps I hit send to soon. I was using what fuzz does as an indicator of Mike 
Spivey's intentions. fuzz accepts the following:

A == 1 .. 10

B == {A : A x A | (_+_) A < 10}

Regards,

Rob.





_______________________________________________
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com

Reply via email to