This is an attempt to investigate what happened to the ProofPower mailing list and to see if I can bring it back to life.
If you get this message please reply. Best regards, Rob. _______________________________________________ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
