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 release was because I hadn't updated the Mathematical Case Studies listed on the examples page (http://www.lemma-one.com/ProofPower/examples/examples.html) and I wanted to upload the latest versions of those for various people to read. So the main changes in ProofPower are in ProofPower-HOL. Specifically, I think higher-order matching is well-tested and stable now. Regards, Rob.
_______________________________________________ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com