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