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
[email protected]
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
