<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div>The OpenTheory home page says that the goal of the project is to allow</div><div>proofs to be shared between different theorem prover implementations.</div><div>May I request that this be clarified by changing "proofs" to "specifications</div><div>and proofs", if no-one objects and if Joe has time to do it.</div><div><br></div><div>My reason for the request is that my work on OpenTheory is</div><div>in part supported by people who understand the concept of</div><div>specification better than the concept of proof, and it will not</div><div>be obvious to them that transferring proofs includes transferring</div><div>specifications.</div><div><br></div><div>Regards,</div><div><br></div><div>Rob.</div></body></html>