Re: [ProofPower] ProofPower Update

2012-08-09 Thread Rob Arthan
Roger, On 9 Aug 2012, at 20:28, Roger Bishop Jones wrote: > Rob, > > My theories fail to build on the latest version of maths_egs > because I have been using "R_plus_ops_thm" and > "R_plus_group_thm" which were in wrk068 but are no longer. > > Looks like you have just changed some names, is t

Re: [ProofPower] ProofPower Update

2012-08-09 Thread Roger Bishop Jones
Rob, My theories fail to build on the latest version of maths_egs because I have been using "R_plus_ops_thm" and "R_plus_group_thm" which were in wrk068 but are no longer. Looks like you have just changed some names, is that right? Roger Jones ___ P

Re: [ProofPower] ProofPower Update

2012-08-09 Thread Roger Bishop Jones
Rob, On Thursday 09 Aug 2012 10:26, Rob Arthan wrote: > I plan to make a new ProofPower release shortly. In the > meantime, if you want the state of the art, I uploaded > an experimental version built from the latest source. > You can find this here: > > http://www.lemma-one.com/ProofPower/getti

[ProofPower] ProofPower Update

2012-08-09 Thread Rob Arthan
Dear All, I plan to make a new ProofPower release shortly. In the meantime, if you want the state of the art, I uploaded an experimental version built from the latest source. You can find this here: http://www.lemma-one.com/ProofPower/getting/experimental/ The main reason for the experimental