Rob,
Sorry for the slow response.
I have thought quite a bit about this, but these days such
cogitations don't always go anywhere useful.
On Thursday 30 Aug 2012 21:58, Rob Arthan wrote:
On 11 Aug 2012, at 15:07, Roger Bishop Jones wrote:
and a number of cases where identifiers which I had
On 11 Aug 2012, at 15:07, Roger Bishop Jones wrote:
I have now managed to build my theories on the new
ProofPower and MathsEgs.
I had to modify 13 source files to get them through.
It seems probable that the changes all resulted from the new
MathsEgs, and primarily were changes to
I have now managed to build my theories on the new
ProofPower and MathsEgs.
I had to modify 13 source files to get them through.
It seems probable that the changes all resulted from the new
MathsEgs, and primarily were changes to names.
These include the changes to theorems plus = additive
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:
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
___