proofpower  

Messages by Thread

• • Re: [ProofPower] (EXTERNAL) Re: ProofPower and Discrete Math Roger Bishop Jones
  • Re: [ProofPower] (EXTERNAL) Re: ProofPower and Discrete Math Roger Bishop Jones
  • Re: [ProofPower] (EXTERNAL) Re: ProofPower and Discrete Math Roger Bishop Jones
  • Re: [ProofPower] ProofPower and Discrete Math David Topham
  • Re: [ProofPower] ProofPower and Discrete Math David Topham
  • Re: [ProofPower] ProofPower and Discrete Math Roger Bishop Jones
  • Re: [ProofPower] ProofPower and Discrete Math David Topham
  • Re: [ProofPower] ProofPower and Discrete Math Roger Bishop Jones
• [ProofPower] AVoCS 2015: First Call for Papers YuHui Lin
• Re: [ProofPower] Proofpower Digest, Vol 88, Issue 8 David Topham
• [ProofPower] Can QCheck work in xpp? David Topham
  • Re: [ProofPower] Can QCheck work in xpp? Rob Arthan
  • Re: [ProofPower] Can QCheck work in xpp? Rob Arthan
• [ProofPower] ProofPower build problems David Topham
  • Re: [ProofPower] ProofPower build problems David Topham
  • Re: [ProofPower] ProofPower build problems Rob Arthan
• Re: [ProofPower] ProofPower build problems (was, Re: GUI Interface (Motif)) David Topham
  • Re: [ProofPower] ProofPower build problems (was, Re: GUI Interface (Motif)) Rob Arthan
• [ProofPower] Test ... Rob Arthan
• Re: [ProofPower] [polyml] GUI Interface (Motif) Rob Arthan
  • [ProofPower] ProofPower build problems (was, Re: GUI Interface (Motif)) Rob Arthan
  • Re: [ProofPower] ProofPower build problems (was, Re: GUI Interface (Motif)) David Topham
  • Re: [ProofPower] ProofPower build problems (was, Re: GUI Interface (Motif)) Rob Arthan
• [ProofPower] OpenTheory Rob Arthan
• [ProofPower] Odd Error Jon Lockhart
  • Re: [ProofPower] Odd Error Rob Arthan
  • Re: [ProofPower] Odd Error Jon Lockhart
• [ProofPower] ProofPower source on GitHub Rob Arthan
• [ProofPower] Proposal for packaging contrib offerings Rob Arthan
• [ProofPower] Poly/ML statistics directory Rob Arthan
• Re: [ProofPower] Inverse Relation Superscript ~ Rob Arthan
• [ProofPower] OpenProofPower Releases Rob Arthan
• [ProofPower] AI4FM 2014: Call for Participation Iain Whiteside
• [ProofPower] *Deadline extended* Final call for contributions AI4FM 2014 Iain Whiteside
• [ProofPower] AI4FM 2014: Call for Short Contributions Iain Whiteside
  • [ProofPower] AI4FM 2014: Call for Short Contributions Iain Whiteside
• [ProofPower] use and use_file YuHui Lin
  • Re: [ProofPower] use and use_file Roger Bishop Jones
• [ProofPower] use library function with special symbol YuHui Lin
  • Re: [ProofPower] use library function with special symbol Rob Arthan
• [ProofPower] Compiling OpenProofPower-2.9.1w5 under Ubuntu 12.04 (64bit) Piotr Trojanek
  • Re: [ProofPower] Compiling OpenProofPower-2.9.1w5 under Ubuntu 12.04 (64bit) Roger Bishop Jones
  • Re: [ProofPower] Compiling OpenProofPower-2.9.1w5 under Ubuntu 12.04 (64bit) Roger Bishop Jones
  • Re: [ProofPower] Compiling OpenProofPower-2.9.1w5 under Ubuntu 12.04 (64bit) Roger Bishop Jones
  • Re: [ProofPower] Compiling OpenProofPower-2.9.1w5 under Ubuntu 12.04 (64bit) Artur Oliveira Gomes
  • Re: [ProofPower] Compiling OpenProofPower-2.9.1w5 under Ubuntu 12.04 (64bit) Michael Jones
  • Re: [ProofPower] Compiling OpenProofPower-2.9.1w5 under Ubuntu 12.04 (64bit) Rob Arthan
• [ProofPower] load proof power with PolyML Yuhui Lin
  • Re: [ProofPower] load proof power with PolyML Rob Arthan
  • Re: [ProofPower] load proof power with PolyML Yuhui Lin
• Re: [ProofPower] ml library functions from pp command line Mark
  • Re: [ProofPower] ml library functions from pp command line Rob Arthan
• [ProofPower] ml library functions from pp command line Yuhui Lin
• [ProofPower] directory path khan khan
  • Re: [ProofPower] directory path Roger Bishop Jones
• [ProofPower] proofpower khan khan
  • Re: [ProofPower] proofpower Rob Arthan
• [ProofPower] any recommended ml editor Yuhui Lin
  • Re: [ProofPower] any recommended ml editor Roger Bishop Jones
• [ProofPower] (no subject) khan khan
  • Re: [ProofPower] (no subject) Phil Clayton
  • Re: [ProofPower] (no subject) Roger Bishop Jones
  • [ProofPower] (no subject) khan khan
• [ProofPower] making new database khan khan
  • Re: [ProofPower] making new database Rob Arthan
  • [ProofPower] making new database khan khan
  • Re: [ProofPower] making new database Phil Clayton
  • [ProofPower] making new database khan khan
• [ProofPower] activating templates khan khan
  • [ProofPower] activating templates khan khan
  • Re: [ProofPower] activating templates Rob Arthan
  • Re: [ProofPower] activating templates Rob Arthan
  • Re: [ProofPower] activating templates Rob Arthan
  • Re: [ProofPower] activating templates Rob Arthan
  • Re: [ProofPower] activating templates Rob Arthan
• [ProofPower] SML Loop Command Jon Lockhart
  • Re: [ProofPower] SML Loop Command Phil Clayton
  • Re: [ProofPower] SML Loop Command Jon Lockhart
• [ProofPower] templates activation problem khan khan
  • Re: [ProofPower] templates activation problem Phil Clayton
  • Re: [ProofPower] templates activation problem Roger Bishop Jones
  • Re: [ProofPower] templates activation problem Roger Bishop Jones
  • Re: [ProofPower] templates activation problem Jon Lockhart
  • [ProofPower] latest release Roger Bishop Jones
  • Re: [ProofPower] latest release Jon Lockhart
  • Re: [ProofPower] latest release Roger Bishop Jones
  • Re: [ProofPower] templates activation problem Jon Lockhart
  • Re: [ProofPower] templates activation problem Phil Clayton
  • Re: [ProofPower] templates activation problem Rob Arthan
• [ProofPower] templates activation khan khan
• [ProofPower] OpenProofPower-2.9.1w5 Rob Arthan
• [ProofPower] Installing ProofPower on Mac OS X Mountain Lion Rob Arthan
• [ProofPower] Recursion theorems without constructors Roger Bishop Jones
• [ProofPower] Fwd: Motif Released Under LGPL; Updated Version Available Now Rob Arthan
• [ProofPower] Question - Step After Proof Verification? Jon Lockhart
  • Re: [ProofPower] Question - Step After Proof Verification? Anthony Hall
  • Re: [ProofPower] Question - Step After Proof Verification? Jon Lockhart
  • Re: [ProofPower] Question - Step After Proof Verification? Roger Bishop Jones
• [ProofPower] Test from lemma-one.com Rob Arthan
• [ProofPower] Trying to Prove my Zed Specifications Jon Lockhart
  • Re: [ProofPower] Trying to Prove my Zed Specifications Roger Bishop Jones
  • Re: [ProofPower] Trying to Prove my Zed Specifications Rob Arthan
  • Re: [ProofPower] Trying to Prove my Zed Specifications Roger Bishop Jones
  • Re: [ProofPower] Trying to Prove my Zed Specifications Jon Lockhart
  • Re: [ProofPower] Trying to Prove my Zed Specifications Rob Arthan
  • Re: [ProofPower] Trying to Prove my Zed Specifications Jon Lockhart
  • Re: [ProofPower] Trying to Prove my Zed Specifications Rob Arthan
  • Re: [ProofPower] Trying to Prove my Zed Specifications Jon Lockhart
  • Re: [ProofPower] Trying to Prove my Zed Specifications Roger Bishop Jones
  • Re: [ProofPower] Trying to Prove my Zed Specifications Rob Arthan
  • Re: [ProofPower] Trying to Prove my Zed Specifications Jon Lockhart
  • Re: [ProofPower] Trying to Prove my Zed Specifications Rob Arthan
  • Re: [ProofPower] Trying to Prove my Zed Specifications Jon Lockhart
  • Re: [ProofPower] Trying to Prove my Zed Specifications Rob Arthan
  • Re: [ProofPower] Trying to Prove my Zed Specifications Rob Arthan
  • Re: [ProofPower] Trying to Prove my Zed Specifications Jon Lockhart
  • Re: [ProofPower] Trying to Prove my Zed Specifications Roger Bishop Jones
  • Re: [ProofPower] Trying to Prove my Zed Specifications Anthony Hall
  • Re: [ProofPower] Trying to Prove my Zed Specifications Jon Lockhart
  • Re: [ProofPower] Trying to Prove my Zed Specifications Phil Clayton
  • Re: [ProofPower] Trying to Prove my Zed Specifications Jon Lockhart
  • Re: [ProofPower] Trying to Prove my Zed Specifications Phil Clayton
  • Re: [ProofPower] Trying to Prove my Zed Specifications Jon Lockhart
  • Re: [ProofPower] Trying to Prove my Zed Specifications Jon Lockhart
  • Re: [ProofPower] Trying to Prove my Zed Specifications Jon Lockhart
  • Re: [ProofPower] Trying to Prove my Zed Specifications Roger Bishop Jones
  • Re: [ProofPower] Trying to Prove my Zed Specifications Rob Arthan
  • Re: [ProofPower] Trying to Prove my Zed Specifications Phil Clayton
  • Re: [ProofPower] Trying to Prove my Zed Specifications Phil Clayton
  • Re: [ProofPower] Trying to Prove my Zed Specifications Jon Lockhart
  • Re: [ProofPower] Trying to Prove my Zed Specifications Phil Clayton
  • Re: [ProofPower] Trying to Prove my Zed Specifications Jon Lockhart
  • Re: [ProofPower] Trying to Prove my Zed Specifications Phil Clayton
  • Re: [ProofPower] Trying to Prove my Zed Specifications Jon Lockhart
  • Re: [ProofPower] Trying to Prove my Zed Specifications Phil Clayton
  • Re: [ProofPower] Trying to Prove my Zed Specifications Jon Lockhart
  • Re: [ProofPower] Trying to Prove my Zed Specifications Roger Bishop Jones
  • Re: [ProofPower] Trying to Prove my Zed Specifications Phil Clayton
  • Re: [ProofPower] Trying to Prove my Zed Specifications Roger Bishop Jones
  • Re: [ProofPower] Trying to Prove my Zed Specifications Rob Arthan
  • Re: [ProofPower] Trying to Prove my Zed Specifications Jon Lockhart
  • Re: [ProofPower] Trying to Prove my Zed Specifications Roger Bishop Jones
  • Re: [ProofPower] Trying to Prove my Zed Specifications Jon Lockhart
  • Re: [ProofPower] Trying to Prove my Zed Specifications Phil Clayton
  • Re: [ProofPower] Trying to Prove my Zed Specifications Jon Lockhart
  • Re: [ProofPower] Trying to Prove my Zed Specifications Roger Bishop Jones
  • Re: [ProofPower] Trying to Prove my Zed Specifications Jon Lockhart
  • Re: [ProofPower] Trying to Prove my Zed Specifications Jon Lockhart
  • Re: [ProofPower] Trying to Prove my Zed Specifications Roger Bishop Jones
  • Re: [ProofPower] Trying to Prove my Zed Specifications Rob Arthan
  • Re: [ProofPower] Trying to Prove my Zed Specifications Jon Lockhart
  • Re: [ProofPower] Trying to Prove my Zed Specifications Jon Lockhart
  • Re: [ProofPower] Trying to Prove my Zed Specifications Roger Bishop Jones
  • Re: [ProofPower] Trying to Prove my Zed Specifications Jon Lockhart
  • Re: [ProofPower] Trying to Prove my Zed Specifications Jon Lockhart
  • Re: [ProofPower] Trying to Prove my Zed Specifications Phil Clayton
  • Re: [ProofPower] Trying to Prove my Zed Specifications Jon Lockhart
  • Re: [ProofPower] Trying to Prove my Zed Specifications Jon Lockhart
  • Re: [ProofPower] Trying to Prove my Zed Specifications Roger Bishop Jones
  • Re: [ProofPower] Trying to Prove my Zed Specifications Roger Bishop Jones
  • Re: [ProofPower] Trying to Prove my Zed Specifications Jon Lockhart
  • Re: [ProofPower] Trying to Prove my Zed Specifications Rob Arthan
  • Re: [ProofPower] Trying to Prove my Zed Specifications Roger Bishop Jones
  • Re: [ProofPower] Trying to Prove my Zed Specifications Jon Lockhart
  • Re: [ProofPower] Trying to Prove my Zed Specifications Roger Bishop Jones
  • Re: [ProofPower] Trying to Prove my Zed Specifications Jon Lockhart
  • Re: [ProofPower] Trying to Prove my Zed Specifications Roger Bishop Jones
  • Re: [ProofPower] Trying to Prove my Zed Specifications Jon Lockhart
  • Re: [ProofPower] Trying to Prove my Zed Specifications Roger Bishop Jones
  • Re: [ProofPower] Trying to Prove my Zed Specifications Jon Lockhart
  • Re: [ProofPower] Trying to Prove my Zed Specifications Jon Lockhart
  • Re: [ProofPower] Trying to Prove my Zed Specifications Roger Bishop Jones
  • Re: [ProofPower] Trying to Prove my Zed Specifications Jon Lockhart
  • Re: [ProofPower] Trying to Prove my Zed Specifications Roger Bishop Jones
  • Re: [ProofPower] Trying to Prove my Zed Specifications Jon Lockhart
  • Re: [ProofPower] Trying to Prove my Zed Specifications Roger Bishop Jones
  • Re: [ProofPower] Trying to Prove my Zed Specifications Jon Lockhart
  • Re: [ProofPower] Trying to Prove my Zed Specifications Roger Bishop Jones
  • Re: [ProofPower] Trying to Prove my Zed Specifications Jon Lockhart
  • Re: [ProofPower] Trying to Prove my Zed Specifications Jon Lockhart
  • Re: [ProofPower] Trying to Prove my Zed Specifications Roger Bishop Jones
  • Re: [ProofPower] Trying to Prove my Zed Specifications Jon Lockhart
  • Re: [ProofPower] Trying to Prove my Zed Specifications Jon Lockhart
  • Re: [ProofPower] Trying to Prove my Zed Specifications Jon Lockhart
  • Re: [ProofPower] Trying to Prove my Zed Specifications Rob Arthan
  • Re: [ProofPower] Trying to Prove my Zed Specifications Jon Lockhart
  • Re: [ProofPower] Trying to Prove my Zed Specifications Roger Bishop Jones
  • Re: [ProofPower] Trying to Prove my Zed Specifications Jon Lockhart
  • [ProofPower] Fwd: Trying to Prove my Zed Specifications Jon Lockhart
  • Re: [ProofPower] Trying to Prove my Zed Specifications Jon Lockhart
  • Re: [ProofPower] Trying to Prove my Zed Specifications Roger Bishop Jones
  • Re: [ProofPower] Trying to Prove my Zed Specifications Roger Bishop Jones
  • Re: [ProofPower] Trying to Prove my Zed Specifications Jon Lockhart
  • Re: [ProofPower] Trying to Prove my Zed Specifications Jon Lockhart
  • Re: [ProofPower] Trying to Prove my Zed Specifications Roger Bishop Jones
  • Re: [ProofPower] Trying to Prove my Zed Specifications Jon Lockhart
  • Re: [ProofPower] Trying to Prove my Zed Specifications Jon Lockhart
  • [ProofPower] Initialisation convention Roger Bishop Jones
  • Re: [ProofPower] Initialisation convention Phil Clayton
  • Re: [ProofPower] Initialisation convention Roger Bishop Jones

• Earlier messages
• Later messages