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!). Roger _______________________________________________ Proofpower mailing list [email protected] http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
