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
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
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
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
