Re: [ProofPower] Schemas and Operations

[Artur Oliveira Gomes]

Thank you, Roger.

Regards,


-- 
Artur Oliveira Gomes

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