proofpower  

Messages by Thread

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

• Later messages