Dear All, I have recently been doing some updates to the ProofPower Mathematical Cases Studies in a development branch. This has mainly involved adding new theorems to the documents on Topology and the Complex Numbers (most notably including a proof of the fundamental theorem of algebra based on elementary homotopy theory).
There have been a few changes to the specifications that may impact users of the case studies. Specifically, the function Series in the analysis theory is now called Sigma and Abs⋎C now has Abs as an alias. If anyone has any concerns or comments about this please let me know. If you want to look at the changes, then take a clone of https://github.com/RobArthan/pp-contrib/ and check out the branch rda-dev. I will issue a tarball for version 3.3 of the case studies based on this in a week or two. I am planning a much bigger refactoring of the maths case studies soon. I want to reorganise it so that it typesets as one big book. I plan to chop the wrkNNN.doc files up into a file for each theory (with a mnemonic name). If you have any views or comments on this, please let me know. Regards, Rob. _______________________________________________ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com