Hi there, How could I prove that given two real numbers, 20 and 30, that 20 <=40? Moreover, given three real numbers, 20, 30 and 40, how could I prove that 30 <in> 20..40.
Regards, -- Artur Oliveira Gomes
_______________________________________________ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
