proofpower
Thread
Date
Earlier messages
Later messages
Messages by Date
2014/12/29
Re: [ProofPower] Can QCheck work in xpp?
Rob Arthan
2014/12/29
[ProofPower] Can QCheck work in xpp?
David Topham
2014/12/21
Re: [ProofPower] ProofPower build problems
Rob Arthan
2014/12/21
Re: [ProofPower] ProofPower build problems
David Topham
2014/12/19
[ProofPower] ProofPower build problems
David Topham
2014/12/18
Re: [ProofPower] ProofPower build problems (was, Re: GUI Interface (Motif))
Rob Arthan
2014/12/18
Re: [ProofPower] ProofPower build problems (was, Re: GUI Interface (Motif))
David Topham
2014/12/16
Re: [ProofPower] ProofPower build problems (was, Re: GUI Interface (Motif))
Rob Arthan
2014/12/16
Re: [ProofPower] ProofPower build problems (was, Re: GUI Interface (Motif))
David Topham
2014/12/16
[ProofPower] ProofPower build problems (was, Re: GUI Interface (Motif))
Rob Arthan
2014/12/16
[ProofPower] Test ...
Rob Arthan
2014/12/15
Re: [ProofPower] [polyml] GUI Interface (Motif)
Rob Arthan
2014/08/10
[ProofPower] OpenTheory
Rob Arthan
2014/06/19
Re: [ProofPower] Odd Error
Jon Lockhart
2014/06/19
Re: [ProofPower] Odd Error
Rob Arthan
2014/06/19
[ProofPower] Odd Error
Jon Lockhart
2014/06/15
[ProofPower] ProofPower source on GitHub
Rob Arthan
2014/05/25
[ProofPower] Proposal for packaging contrib offerings
Rob Arthan
2014/05/24
[ProofPower] Poly/ML statistics directory
Rob Arthan
2014/05/19
Re: [ProofPower] Inverse Relation Superscript ~
Rob Arthan
2014/04/23
[ProofPower] OpenProofPower Releases
Rob Arthan
2014/03/25
[ProofPower] AI4FM 2014: Call for Participation
Iain Whiteside
2014/02/25
[ProofPower] *Deadline extended* Final call for contributions AI4FM 2014
Iain Whiteside
2014/02/06
[ProofPower] AI4FM 2014: Call for Short Contributions
Iain Whiteside
2013/12/02
[ProofPower] AI4FM 2014: Call for Short Contributions
Iain Whiteside
2013/09/19
Re: [ProofPower] use and use_file
Roger Bishop Jones
2013/09/19
[ProofPower] use and use_file
YuHui Lin
2013/08/12
Re: [ProofPower] use library function with special symbol
Rob Arthan
2013/08/12
[ProofPower] use library function with special symbol
YuHui Lin
2013/07/24
Re: [ProofPower] Compiling OpenProofPower-2.9.1w5 under Ubuntu 12.04 (64bit)
Rob Arthan
2013/07/24
Re: [ProofPower] Compiling OpenProofPower-2.9.1w5 under Ubuntu 12.04 (64bit)
Michael Jones
2013/05/10
Re: [ProofPower] Compiling OpenProofPower-2.9.1w5 under Ubuntu 12.04 (64bit)
Artur Oliveira Gomes
2013/05/10
Re: [ProofPower] Compiling OpenProofPower-2.9.1w5 under Ubuntu 12.04 (64bit)
Roger Bishop Jones
2013/05/10
Re: [ProofPower] Compiling OpenProofPower-2.9.1w5 under Ubuntu 12.04 (64bit)
Roger Bishop Jones
2013/05/09
Re: [ProofPower] Compiling OpenProofPower-2.9.1w5 under Ubuntu 12.04 (64bit)
Roger Bishop Jones
2013/05/09
[ProofPower] Compiling OpenProofPower-2.9.1w5 under Ubuntu 12.04 (64bit)
Piotr Trojanek
2013/02/22
Re: [ProofPower] load proof power with PolyML
Yuhui Lin
2013/02/22
Re: [ProofPower] load proof power with PolyML
Rob Arthan
2013/02/22
[ProofPower] load proof power with PolyML
Yuhui Lin
2013/02/22
Re: [ProofPower] ml library functions from pp command line
Rob Arthan
2013/02/22
Re: [ProofPower] ml library functions from pp command line
Mark
2013/02/22
[ProofPower] ml library functions from pp command line
Yuhui Lin
2013/02/21
Re: [ProofPower] directory path
Roger Bishop Jones
2013/02/21
[ProofPower] directory path
khan khan
2013/02/20
Re: [ProofPower] proofpower
Rob Arthan
2013/02/20
[ProofPower] proofpower
khan khan
2013/02/19
Re: [ProofPower] any recommended ml editor
Roger Bishop Jones
2013/02/19
[ProofPower] any recommended ml editor
Yuhui Lin
2013/02/19
Re: [ProofPower] (no subject)
Roger Bishop Jones
2013/02/18
[ProofPower] (no subject)
khan khan
2013/02/18
Re: [ProofPower] (no subject)
Phil Clayton
2013/02/18
[ProofPower] (no subject)
khan khan
2013/02/18
[ProofPower] making new database
khan khan
2013/02/17
Re: [ProofPower] making new database
Phil Clayton
2013/02/17
[ProofPower] making new database
khan khan
2013/02/16
Re: [ProofPower] making new database
Rob Arthan
2013/02/15
[ProofPower] making new database
khan khan
2013/02/12
Re: [ProofPower] activating templates
Rob Arthan
2013/02/12
Re: [ProofPower] activating templates
Rob Arthan
2013/02/11
Re: [ProofPower] activating templates
Rob Arthan
2013/02/11
Re: [ProofPower] activating templates
Rob Arthan
2013/02/11
Re: [ProofPower] activating templates
Rob Arthan
2013/02/11
[ProofPower] activating templates
khan khan
2013/02/11
[ProofPower] activating templates
khan khan
2013/01/19
Re: [ProofPower] templates activation problem
Rob Arthan
2013/01/16
Re: [ProofPower] latest release
Roger Bishop Jones
2013/01/15
Re: [ProofPower] templates activation problem
Phil Clayton
2013/01/15
Re: [ProofPower] templates activation problem
Jon Lockhart
2013/01/15
Re: [ProofPower] latest release
Jon Lockhart
2013/01/15
[ProofPower] latest release
Roger Bishop Jones
2013/01/15
Re: [ProofPower] templates activation problem
Jon Lockhart
2013/01/15
Re: [ProofPower] SML Loop Command
Jon Lockhart
2013/01/15
Re: [ProofPower] templates activation problem
Roger Bishop Jones
2013/01/15
Re: [ProofPower] SML Loop Command
Phil Clayton
2013/01/15
[ProofPower] SML Loop Command
Jon Lockhart
2013/01/15
Re: [ProofPower] templates activation problem
Roger Bishop Jones
2013/01/14
Re: [ProofPower] templates activation problem
Phil Clayton
2013/01/14
[ProofPower] templates activation problem
khan khan
2013/01/10
[ProofPower] templates activation
khan khan
2013/01/04
[ProofPower] OpenProofPower-2.9.1w5
Rob Arthan
2012/12/08
[ProofPower] Installing ProofPower on Mac OS X Mountain Lion
Rob Arthan
2012/11/12
Re: [ProofPower] Trying to Prove my Zed Specifications
Jon Lockhart
2012/11/07
Re: [ProofPower] Trying to Prove my Zed Specifications
Jon Lockhart
2012/11/06
Re: [ProofPower] Trying to Prove my Zed Specifications
Roger Bishop Jones
2012/11/05
Re: [ProofPower] Trying to Prove my Zed Specifications
Jon Lockhart
2012/11/05
Re: [ProofPower] Trying to Prove my Zed Specifications
Jon Lockhart
2012/11/05
Re: [ProofPower] Trying to Prove my Zed Specifications
Roger Bishop Jones
2012/11/05
Re: [ProofPower] Trying to Prove my Zed Specifications
Roger Bishop Jones
2012/11/04
Re: [ProofPower] Trying to Prove my Zed Specifications
Jon Lockhart
2012/10/27
[ProofPower] Recursion theorems without constructors
Roger Bishop Jones
2012/10/24
[ProofPower] Fwd: Motif Released Under LGPL; Updated Version Available Now
Rob Arthan
2012/10/22
[ProofPower] Fwd: Trying to Prove my Zed Specifications
Jon Lockhart
2012/10/21
Re: [ProofPower] Trying to Prove my Zed Specifications
Jon Lockhart
2012/10/18
Re: [ProofPower] Trying to Prove my Zed Specifications
Roger Bishop Jones
2012/10/18
Re: [ProofPower] Trying to Prove my Zed Specifications
Jon Lockhart
2012/10/18
Re: [ProofPower] Trying to Prove my Zed Specifications
Rob Arthan
2012/10/17
Re: [ProofPower] Trying to Prove my Zed Specifications
Jon Lockhart
2012/10/17
Re: [ProofPower] Trying to Prove my Zed Specifications
Jon Lockhart
2012/10/17
Re: [ProofPower] Trying to Prove my Zed Specifications
Jon Lockhart
2012/10/16
Re: [ProofPower] Trying to Prove my Zed Specifications
Roger Bishop Jones
2012/10/16
Re: [ProofPower] Trying to Prove my Zed Specifications
Jon Lockhart
2012/10/16
Re: [ProofPower] Trying to Prove my Zed Specifications
Jon Lockhart
2012/10/16
Re: [ProofPower] Trying to Prove my Zed Specifications
Roger Bishop Jones
2012/10/15
Re: [ProofPower] Trying to Prove my Zed Specifications
Jon Lockhart
2012/10/14
Re: [ProofPower] Trying to Prove my Zed Specifications
Roger Bishop Jones
2012/10/13
Re: [ProofPower] Trying to Prove my Zed Specifications
Jon Lockhart
2012/10/13
Re: [ProofPower] Trying to Prove my Zed Specifications
Roger Bishop Jones
2012/10/12
Re: [ProofPower] Trying to Prove my Zed Specifications
Jon Lockhart
2012/10/09
Re: [ProofPower] Trying to Prove my Zed Specifications
Roger Bishop Jones
2012/10/09
Re: [ProofPower] Trying to Prove my Zed Specifications
Jon Lockhart
2012/10/04
Re: [ProofPower] Trying to Prove my Zed Specifications
Jon Lockhart
2012/10/02
Re: [ProofPower] Trying to Prove my Zed Specifications
Roger Bishop Jones
2012/09/28
Re: [ProofPower] Trying to Prove my Zed Specifications
Jon Lockhart
2012/09/26
Re: [ProofPower] Trying to Prove my Zed Specifications
Roger Bishop Jones
2012/09/25
Re: [ProofPower] Trying to Prove my Zed Specifications
Jon Lockhart
2012/09/24
Re: [ProofPower] Trying to Prove my Zed Specifications
Roger Bishop Jones
2012/09/23
Re: [ProofPower] Trying to Prove my Zed Specifications
Jon Lockhart
2012/09/23
Re: [ProofPower] Initialisation convention
Roger Bishop Jones
2012/09/23
Re: [ProofPower] Initialisation convention
Phil Clayton
2012/09/22
[ProofPower] Initialisation convention
Roger Bishop Jones
2012/09/22
Re: [ProofPower] Trying to Prove my Zed Specifications
Roger Bishop Jones
2012/09/21
Re: [ProofPower] Trying to Prove my Zed Specifications
Rob Arthan
2012/09/21
Re: [ProofPower] Trying to Prove my Zed Specifications
Jon Lockhart
2012/09/21
Re: [ProofPower] Trying to Prove my Zed Specifications
Roger Bishop Jones
2012/09/21
Re: [ProofPower] Trying to Prove my Zed Specifications
Roger Bishop Jones
2012/09/20
Re: [ProofPower] Trying to Prove my Zed Specifications
Jon Lockhart
2012/09/20
Re: [ProofPower] Trying to Prove my Zed Specifications
Jon Lockhart
2012/09/20
Re: [ProofPower] Trying to Prove my Zed Specifications
Phil Clayton
2012/09/20
Re: [ProofPower] Trying to Prove my Zed Specifications
Jon Lockhart
2012/09/19
Re: [ProofPower] Trying to Prove my Zed Specifications
Jon Lockhart
2012/09/19
Re: [ProofPower] Trying to Prove my Zed Specifications
Roger Bishop Jones
2012/09/19
Re: [ProofPower] Trying to Prove my Zed Specifications
Jon Lockhart
2012/09/18
Re: [ProofPower] Trying to Prove my Zed Specifications
Jon Lockhart
2012/09/18
Re: [ProofPower] Trying to Prove my Zed Specifications
Rob Arthan
2012/09/18
Re: [ProofPower] Trying to Prove my Zed Specifications
Roger Bishop Jones
2012/09/18
Re: [ProofPower] Question - Step After Proof Verification?
Roger Bishop Jones
2012/09/18
Re: [ProofPower] Trying to Prove my Zed Specifications
Jon Lockhart
2012/09/18
Re: [ProofPower] Question - Step After Proof Verification?
Jon Lockhart
2012/09/18
Re: [ProofPower] Question - Step After Proof Verification?
Anthony Hall
2012/09/17
[ProofPower] Question - Step After Proof Verification?
Jon Lockhart
2012/09/15
Re: [ProofPower] Trying to Prove my Zed Specifications
Jon Lockhart
2012/09/14
Re: [ProofPower] Trying to Prove my Zed Specifications
Roger Bishop Jones
2012/09/14
Re: [ProofPower] Trying to Prove my Zed Specifications
Jon Lockhart
2012/09/14
Re: [ProofPower] Trying to Prove my Zed Specifications
Phil Clayton
2012/09/14
Re: [ProofPower] Trying to Prove my Zed Specifications
Jon Lockhart
2012/09/14
Re: [ProofPower] Trying to Prove my Zed Specifications
Phil Clayton
2012/09/14
Re: [ProofPower] Trying to Prove my Zed Specifications
Roger Bishop Jones
2012/09/14
Re: [ProofPower] Trying to Prove my Zed Specifications
Jon Lockhart
2012/09/14
Re: [ProofPower] Trying to Prove my Zed Specifications
Rob Arthan
2012/09/14
Re: [ProofPower] Trying to Prove my Zed Specifications
Roger Bishop Jones
2012/09/14
Re: [ProofPower] Trying to Prove my Zed Specifications
Phil Clayton
2012/09/14
Re: [ProofPower] Trying to Prove my Zed Specifications
Roger Bishop Jones
2012/09/13
Re: [ProofPower] Trying to Prove my Zed Specifications
Jon Lockhart
2012/09/13
Re: [ProofPower] Trying to Prove my Zed Specifications
Phil Clayton
2012/09/13
Re: [ProofPower] Trying to Prove my Zed Specifications
Jon Lockhart
2012/09/13
Re: [ProofPower] Trying to Prove my Zed Specifications
Phil Clayton
2012/09/13
Re: [ProofPower] Best platform for ProofPower?
Roger Bishop Jones
2012/09/13
Re: [ProofPower] Trying to Prove my Zed Specifications
Jon Lockhart
2012/09/13
Re: [ProofPower] Best platform for ProofPower?
Jon Lockhart
2012/09/13
Re: [ProofPower] Best platform for ProofPower?
Rob Arthan
2012/09/13
Re: [ProofPower] Best platform for ProofPower?
Phil Clayton
2012/09/13
Re: [ProofPower] Best platform for ProofPower?
Jon Lockhart
2012/09/13
Re: [ProofPower] Trying to Prove my Zed Specifications
Phil Clayton
2012/09/12
Re: [ProofPower] Trying to Prove my Zed Specifications
Jon Lockhart
2012/09/12
Re: [ProofPower] Trying to Prove my Zed Specifications
Phil Clayton
2012/09/12
Re: [ProofPower] Trying to Prove my Zed Specifications
Phil Clayton
2012/09/12
[ProofPower] Best platform for ProofPower?
Roger Bishop Jones
2012/09/12
Re: [ProofPower] ProofPower Update
Roger Bishop Jones
2012/09/04
Re: [ProofPower] Trying to Prove my Zed Specifications
Rob Arthan
2012/09/04
Re: [ProofPower] Trying to Prove my Zed Specifications
Roger Bishop Jones
2012/09/03
Re: [ProofPower] Trying to Prove my Zed Specifications
Jon Lockhart
2012/09/03
Re: [ProofPower] Trying to Prove my Zed Specifications
Jon Lockhart
2012/09/02
Re: [ProofPower] Trying to Prove my Zed Specifications
Jon Lockhart
2012/09/02
Re: [ProofPower] Trying to Prove my Zed Specifications
Phil Clayton
2012/09/02
Re: [ProofPower] Trying to Prove my Zed Specifications
Jon Lockhart
2012/09/02
Re: [ProofPower] Trying to Prove my Zed Specifications
Phil Clayton
2012/09/02
Re: [ProofPower] Trying to Prove my Zed Specifications
Jon Lockhart
2012/09/01
[ProofPower] Test from lemma-one.com
Rob Arthan
2012/08/30
Re: [ProofPower] ProofPower Update
Rob Arthan
2012/08/26
Re: [ProofPower] Trying to Prove my Zed Specifications
Anthony Hall
2012/08/26
Re: [ProofPower] Trying to Prove my Zed Specifications
Roger Bishop Jones
2012/08/25
Re: [ProofPower] Trying to Prove my Zed Specifications
Jon Lockhart
2012/08/22
Re: [ProofPower] Trying to Prove my Zed Specifications
Rob Arthan
2012/08/20
Re: [ProofPower] Trying to Prove my Zed Specifications
Rob Arthan
2012/08/20
Re: [ProofPower] Trying to Prove my Zed Specifications
Jon Lockhart
2012/08/20
Re: [ProofPower] Trying to Prove my Zed Specifications
Rob Arthan
2012/08/19
Re: [ProofPower] Trying to Prove my Zed Specifications
Jon Lockhart
2012/08/19
Re: [ProofPower] Trying to Prove my Zed Specifications
Rob Arthan
2012/08/19
Re: [ProofPower] Trying to Prove my Zed Specifications
Roger Bishop Jones
2012/08/18
Re: [ProofPower] Trying to Prove my Zed Specifications
Jon Lockhart
2012/08/17
Re: [ProofPower] ProofPower RCS Repository
Phil Clayton
2012/08/17
Re: [ProofPower] ProofPower RCS Repository
Phil Clayton
2012/08/13
Re: [ProofPower] Trying to Prove my Zed Specifications
Rob Arthan
2012/08/13
Re: [ProofPower] Trying to Prove my Zed Specifications
Jon Lockhart
2012/08/13
Re: [ProofPower] Trying to Prove my Zed Specifications
Rob Arthan
2012/08/13
Re: [ProofPower] Trying to Prove my Zed Specifications
Rob Arthan
2012/08/13
Re: [ProofPower] Trying to Prove my Zed Specifications
Jon Lockhart
2012/08/13
Re: [ProofPower] Trying to Prove my Zed Specifications
Roger Bishop Jones
2012/08/13
Re: [ProofPower] Trying to Prove my Zed Specifications
Rob Arthan
2012/08/12
Re: [ProofPower] Trying to Prove my Zed Specifications
Roger Bishop Jones
Earlier messages
Later messages