On 13/09/12 02:47, Phil Clayton wrote:
BOOLEAN that was defined to be 0 .. 5


I meant to say {0, 1}, of course!


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

Reply via email to