The new version of ProofPower breaks a differential geometry
proof (probably one of yours!) in my t003.
Were you expecting this to happen at this stage, I thought I
had already sucessfully built all my stuff on the version
with the higher order rewriting?
The changes history does not seem to be different in this
version from what is in the 110814 version, what really
happened since then?
(I suppose you are going to tell me to look at the diffs, but
there are a lot of files!).
Proofpower mailing list