proofpower  

Messages by Date

• 2010/10/20 Re: [ProofPower] help Roger Bishop Jones
• 2010/10/20 Re: [ProofPower] help Roger Bishop Jones
• 2010/10/18 Re: [ProofPower] help Roger Bishop Jones
• 2010/10/18 Re: [ProofPower] help Igorj V
• 2010/08/17 Re: [ProofPower] Error on set_merge_pcs after add_cs_E_thm Roger Bishop Jones
• 2010/08/17 Re: [ProofPower] Error on set_merge_pcs after add_cs_E_thm Roger Bishop Jones
• 2010/08/17 Re: [ProofPower] Error on set_merge_pcs after add_cs_E_thm Rob Arthan
• 2010/08/17 [ProofPower] Error on set_merge_pcs after add_cs_E_thm Roger Bishop Jones
• 2010/08/10 Re: [ProofPower] Broken theory indexes Rob Arthan
• 2010/08/10 Re: [ProofPower] Broken theory indexes Roger Bishop Jones
• 2010/08/10 Re: [ProofPower] Broken theory indexes Rob Arthan
• 2010/08/09 Re: [ProofPower] Broken theory indexes Roger Bishop Jones
• 2010/08/08 Re: [ProofPower] Broken theory indexes Phil Clayton
• 2010/08/08 [ProofPower] Broken theory indexes Roger Bishop Jones
• 2010/07/12 Re: [ProofPower] Cut and Paste problem mark
• 2010/07/12 Re: [ProofPower] Cut and Paste problem mark
• 2010/07/11 Re: [ProofPower] Cut and Paste problem Roger Bishop Jones
• 2010/07/11 Re: [ProofPower] Cut and Paste problem mark
• 2010/07/11 Re: [ProofPower] Cut and Paste problem mark
• 2010/07/10 Re: [ProofPower] Cut and Paste problem Roger Bishop Jones
• 2010/07/08 Re: [ProofPower] Cut and Paste problem mark
• 2010/07/08 Re: [ProofPower] Cut and Paste problem mark
• 2010/07/07 Re: [ProofPower] Cut and Paste problem Phil Clayton
• 2010/07/07 [ProofPower] Cut and Paste problem Roger Bishop Jones
• 2010/07/07 Re: [ProofPower] Keyboard problem Roger Bishop Jones
• 2010/07/07 Re: [ProofPower] Using sqsubset symbol mark
• 2010/07/06 Re: [ProofPower] Using sqsubset symbol Rob Arthan
• 2010/07/06 [ProofPower] Using sqsubset symbol Roger Bishop Jones
• 2010/07/06 [ProofPower] Keyboard problem Roger Bishop Jones
• 2010/04/15 Re: [ProofPower] Generating PDF files with texdvi and docdvi Roger Bishop Jones
• 2010/04/15 Re: [ProofPower] Generating PDF files with texdvi and docdvi Roger Bishop Jones
• 2010/04/14 Re: [ProofPower] Generating PDF files with texdvi and docdvi Rob Arthan
• 2010/04/14 Re: [ProofPower] Generating PDF files with texdvi and docdvi Roger Bishop Jones
• 2010/04/14 Re: [ProofPower] Generating PDF files with texdvi and docdvi Roger Bishop Jones
• 2010/04/14 Re: [ProofPower] Generating PDF files with texdvi and docdvi Rob Arthan
• 2010/04/14 Re: [ProofPower] Generating PDF files with texdvi and docdvi Phil Clayton
• 2010/04/14 Re: [ProofPower] Generating PDF files with texdvi and docdvi Roger Bishop Jones
• 2010/04/14 [ProofPower] Generating PDF files with texdvi and docdvi Phil Clayton
• 2010/04/13 Re: [ProofPower] pp-contrib Phil Clayton
• 2010/04/12 Re: [ProofPower] pp-contrib Rob Arthan
• 2010/04/12 Re: [ProofPower] pp-contrib Roger Bishop Jones
• 2010/04/12 [ProofPower] ***SPAM*** Re: pp-contrib Rob Arthan
• 2010/04/12 Re: [ProofPower] pp-contrib Roger Bishop Jones
• 2010/04/12 Re: [ProofPower] pp-contrib Phil Clayton
• 2010/04/07 Re: [ProofPower] pp-contrib Roger Bishop Jones
• 2010/04/07 Re: [ProofPower] pp-contrib Phil Clayton
• 2010/04/05 [ProofPower] pp-contrib Roger Bishop Jones
• 2010/02/01 [ProofPower] Z integer exponentiation Phil Clayton
• 2010/01/23 Re: [ProofPower] A question about customisation of pretty printing. Frank Zeyda
• 2010/01/23 Re: [ProofPower] A question about customisation of pretty printing. Rob Arthan
• 2010/01/22 Re: [ProofPower] A question about customisation of pretty printing. Frank Zeyda
• 2010/01/22 Re: [ProofPower] A question about customisation of pretty printing. Rob Arthan
• 2010/01/21 [ProofPower] A question about customisation of pretty printing. Frank Zeyda
• 2010/01/07 [ProofPower] Fedora users: OpenMotif RPM from the RPM Fusion repository causes ProofPower build problem Phil Clayton
• 2009/12/09 [ProofPower] A little bit of history and a new case study for ProofPower users. Rob Arthan
• 2009/11/22 Re: [ProofPower] Installing PP 2.8.1p2 on Ubuntu Rob Arthan
• 2009/11/21 Re: [ProofPower] Installing PP 2.8.1p2 on Ubuntu Rob Arthan
• 2009/11/20 [ProofPower] Installing PP 2.8.1p2 on Ubuntu mark
• 2009/11/19 Re: [ProofPower] help Rob Arthan
• 2009/11/18 Re: [ProofPower] help Rob Arthan
• 2009/11/18 Re: [ProofPower] help Igorj V
• 2009/11/16 Re: [ProofPower] help Rob Arthan
• 2009/11/16 Re: [ProofPower] help Igorj V
• 2009/11/16 Re: [ProofPower] help Rob Arthan
• 2009/11/15 Re: [ProofPower] help Rob Arthan
• 2009/11/14 [ProofPower] help Igorj V
• 2009/11/12 [ProofPower] help Igorj V
• 2009/11/09 Re: [ProofPower] help Roger Bishop Jones
• 2009/11/09 [ProofPower] help Igorj V
• 2009/10/13 Re: [ProofPower] ProofPower on Ubuntu 9.04 Rob Arthan
• 2009/10/13 [ProofPower] ProofPower on Ubuntu 9.04 Roger Bishop Jones
• 2009/10/11 [ProofPower] Forthcoming Poly/ML 5.3 Rob Arthan
• 2009/09/10 [ProofPower] 64-but architectures Rob Arthan
• 2009/09/01 [ProofPower] holnormal font in OpenProofPower 2.8.1 Rob Arthan
• 2009/08/28 [ProofPower] OpenProofPower 2.8.1 Rob Arthan
• 2009/08/21 Re: [ProofPower] Yet the Precondition calculus Frank Zeyda
• 2009/08/20 Re: [ProofPower] Yet the Precondition calculus Philip Clayton
• 2009/08/20 Re: [ProofPower] Yet the Precondition calculus Roger Bishop Jones
• 2009/08/20 Re: [ProofPower] Yet the Precondition calculus Roger Bishop Jones
• 2009/08/20 [ProofPower] Yet the Precondition calculus Artur Oliveira Gomes
• 2009/08/04 [ProofPower] PLMMS 2009: Call for Participation Gabriel Dos Reis
• 2009/06/27 Re: [ProofPower] Proving properties of Z types. Roger Bishop Jones
• 2009/06/24 Re: [ProofPower] Proving properties of Z types. Frank Zeyda
• 2009/06/20 Re: [ProofPower] Proving properties of Z types. Roger Bishop Jones
• 2009/06/20 Re: [ProofPower] Proving properties of Z types. Roger Bishop Jones
• 2009/06/16 [ProofPower] Proving properties of Z types. Frank Zeyda
• 2009/06/11 [ProofPower] Problem with using ProofPower 2.8.1a17 in batch mode. Frank Zeyda
• 2009/06/10 Re: [ProofPower] Clashing definitions Roger Bishop Jones
• 2009/06/10 Re: [ProofPower] Clashing definitions Rob Arthan
• 2009/06/09 Re: [ProofPower] Clashing definitions Rob Arthan
• 2009/06/08 Re: [ProofPower] Clashing definitions Roger Bishop Jones
• 2009/06/08 Re: [ProofPower] Clashing definitions Rob Arthan
• 2009/06/07 [ProofPower] Clashing definitions Roger Bishop Jones
• 2009/06/06 Re: [ProofPower] Extended character support Rob Arthan
• 2009/06/06 Re: [ProofPower] Extended character support Rob Arthan
• 2009/06/06 Re: [ProofPower] Extended character support Rob Arthan
• 2009/06/05 Re: [ProofPower] Calculate preconditions in Z using ProofPower Roger Bishop Jones
• 2009/06/05 Re: [ProofPower] Calculate preconditions in Z using ProofPower Artur Oliveira Gomes
• 2009/06/05 Re: [ProofPower] Calculate preconditions in Z using ProofPower Roger Bishop Jones
• 2009/06/05 [ProofPower] Extended character support Roger Bishop Jones
• 2009/06/05 [ProofPower] Calculate preconditions in Z using ProofPower Artur Oliveira Gomes
• 2009/05/18 Re: [ProofPower] Subgoal limits Rob Arthan
• 2009/05/18 Re: [ProofPower] Rewriting from assumptions - parenthesis problem Rob Arthan
• 2009/05/18 Re: [ProofPower] Rewriting from assumptions - parenthesis problem Artur Oliveira Gomes
• 2009/05/14 Re: [ProofPower] Rewriting from assumptions - parenthesis problem Rob Arthan
• 2009/05/14 [ProofPower] Rewriting from assumptions - parenthesis problem Artur Oliveira Gomes
• 2009/04/28 [ProofPower] PLMMS 2009: Last CFP Gabriel Dos Reis
• 2009/04/23 [ProofPower] Error when opening ProofPower Pedro José Aragão Henriques
• 2009/04/23 [ProofPower] Problem with keyboard Pedro José Aragão Henriques
• 2009/04/16 Re: [ProofPower] Instantiation of free variables according to some matching. Philip Clayton
• 2009/04/14 Re: [ProofPower] Error when opening ProofPower Artur Oliveira Gomes
• 2009/04/14 Re: [ProofPower] Error when opening ProofPower rda
• 2009/04/14 [ProofPower] Error when opening ProofPower Artur Oliveira Gomes
• 2009/04/08 Re: [ProofPower] Instantiation of free variables according to some matching. Frank Zeyda
• 2009/04/07 Re: [ProofPower] Instantiation of free variables according to some matching. Rob Arthan
• 2009/04/07 Re: [ProofPower] Instantiation of free variables according to some matching. Frank Zeyda
• 2009/04/04 Re: [ProofPower] Instantiation of free variables according to some matching. Roger Bishop Jones
• 2009/04/03 [ProofPower] PLMMS 2009: Call for Paper Gabriel Dos Reis
• 2009/04/02 [ProofPower] Instantiation of free variables according to some matching. Frank Zeyda
• 2009/03/26 Re: [ProofPower] Real Numbers - Proofs Rob Arthan
• 2009/03/26 Re: [ProofPower] Real Numbers - Proofs Artur Oliveira Gomes
• 2009/03/26 Re: [ProofPower] Real Numbers - Proofs Rob Arthan
• 2009/03/26 Re: [ProofPower] Real Numbers - Proofs Artur Oliveira Gomes
• 2009/03/25 [ProofPower] Real Numbers - Proofs Artur Oliveira Gomes
• 2009/03/24 Re: [ProofPower] Z Schemas - Help with Initialization and Precondition calculus Artur Oliveira Gomes
• 2009/03/24 Re: [ProofPower] Z Schemas - Help with Initialization and Precondition calculus Roger Bishop Jones
• 2009/03/24 Re: [ProofPower] Z Schemas - Help with Initialization and Precondition calculus Artur Oliveira Gomes
• 2009/03/24 Re: [ProofPower] Z Schemas - Help with Initialization and Precondition calculus Roger Bishop Jones
• 2009/03/23 [ProofPower] Z Schemas - Help with Initialization and Precondition calculus Artur Oliveira Gomes
• 2009/02/16 Re: [ProofPower] Schemas and Operations Artur Oliveira Gomes
• 2009/02/16 Re: [ProofPower] Schemas and Operations Roger Bishop Jones
• 2009/02/16 Re: [ProofPower] Schemas and Operations Artur Oliveira Gomes
• 2009/02/09 Re: [ProofPower] Schemas and Operations Roger Bishop Jones
• 2009/02/09 [ProofPower] Schemas and Operations Artur Oliveira Gomes
• 2009/02/06 Re: [ProofPower] Round real numbers Philip Clayton
• 2009/02/06 [ProofPower] Round real numbers Artur Oliveira Gomes
• 2009/01/29 Re: [ProofPower] Error when installing Proofpower 2.8 rda
• 2009/01/28 Re: [ProofPower] Error when installing Proofpower 2.8 Rob Arthan
• 2009/01/27 Re: [ProofPower] Error when installing Proofpower 2.8 Rob Arthan
• 2009/01/27 Re: [ProofPower] Error when installing Proofpower 2.8 Rob Arthan
• 2009/01/26 Re: [ProofPower] Error when installing Proofpower 2.8 Rob Arthan
• 2009/01/26 Re: [ProofPower] Error when installing Proofpower 2.8 Philip Clayton
• 2009/01/25 Re: [ProofPower] Error when installing Proofpower 2.8 Artur Oliveira Gomes
• 2009/01/25 Re: [ProofPower] Error when installing Proofpower 2.8 Rob Arthan
• 2009/01/25 Re: [ProofPower] Error when installing Proofpower 2.8 Rob Arthan
• 2009/01/24 Re: [ProofPower] Error when installing Proofpower 2.8 Steven J. Ramsay
• 2009/01/24 Re: [ProofPower] Error when installing Proofpower 2.8 Rob Arthan
• 2009/01/24 Re: [ProofPower] Error when installing Proofpower 2.8 Steven J. Ramsay
• 2009/01/24 Re: [ProofPower] Error when installing Proofpower 2.8 Rob Arthan
• 2009/01/23 Re: [ProofPower] Error when installing Proofpower 2.8 Artur Oliveira Gomes
• 2009/01/23 Re: [ProofPower] Error when installing Proofpower 2.8 Steven J. Ramsay
• 2009/01/23 Re: [ProofPower] Error when installing Proofpower 2.8 Rob Arthan
• 2009/01/23 Re: [ProofPower] Error when installing Proofpower 2.8 Artur Oliveira Gomes
• 2009/01/23 Re: [ProofPower] Error when installing Proofpower 2.8 Rob Arthan
• 2009/01/23 Re: [ProofPower] Error when installing Proofpower 2.8 Steven J. Ramsay
• 2009/01/23 Re: [ProofPower] Error when installing Proofpower 2.8 Rob Arthan
• 2009/01/23 Re: [ProofPower] Error when installing Proofpower 2.8 Steven J. Ramsay
• 2008/12/30 Re: [ProofPower] Error when installing Proofpower 2.8 Rob Arthan
• 2008/12/23 Re: [ProofPower] Error when installing Proofpower 2.8 Artur Oliveira Gomes
• 2008/12/20 Re: [ProofPower] Error when installing Proofpower 2.8 Rob Arthan
• 2008/12/20 Re: [ProofPower] Error when installing Proofpower 2.8 Artur Oliveira Gomes
• 2008/12/20 Re: [ProofPower] Error when installing Proofpower 2.8 Rob Arthan
• 2008/12/20 Re: [ProofPower] Error when installing Proofpower 2.8 Artur Oliveira Gomes
• 2008/12/20 Re: [ProofPower] Error when installing Proofpower 2.8 Rob Arthan
• 2008/12/19 Re: [ProofPower] Error when installing Proofpower 2.8 Artur Oliveira Gomes
• 2008/12/19 Re: [ProofPower] Error when installing Proofpower 2.8 Rob Arthan
• 2008/12/19 Re: [ProofPower] Error when installing Proofpower 2.8 Philip Clayton
• 2008/12/18 [ProofPower] Error when installing Proofpower 2.8 Artur Oliveira Gomes
• 2008/12/05 Re: [ProofPower] problems with 2.8.1a10 Rob Arthan
• 2008/12/05 Re: [ProofPower] problems with 2.8.1a10 Roger Bishop Jones
• 2008/12/05 [ProofPower] problems with 2.8.1a10 Roger Bishop Jones
• 2008/11/22 Re: [ProofPower] shortcuts in 2.8.1a10 Rob Arthan
• 2008/11/22 [ProofPower] shortcuts in 2.8.1a10 Roger Bishop Jones
• 2008/11/21 Re: [ProofPower] OpenProofPower alpha version 2.8.1a10 and Poly/ML 5.2.1 Rob Arthan
• 2008/11/21 Re: [ProofPower] OpenProofPower alpha version 2.8.1a10 and Poly/ML 5.2.1 Roger Bishop Jones
• 2008/11/20 Re: [ProofPower] OpenProofPower alpha version 2.8.1a10 and Poly/ML 5.2.1 Rob Arthan
• 2008/11/20 Re: [ProofPower] OpenProofPower alpha version 2.8.1a10 and Poly/ML 5.2.1 Roger Bishop Jones
• 2008/11/16 [ProofPower] OpenProofPower alpha version 2.8.1a10 and Poly/ML 5.2.1 Rob Arthan

• Later messages