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:

The main reason for the experimental release was because I hadn't updated the 
Mathematical Case Studies listed on the examples page 
( 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.



Proofpower mailing list

Reply via email to