proofpower  

Messages by Date

• 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
• 2012/08/12 [ProofPower] Trying to Prove my Zed Specifications Jon Lockhart
• 2012/08/12 Re: [ProofPower] Trouble Installing on Windows Jon Lockhart
• 2012/08/11 Re: [ProofPower] ProofPower Update Roger Bishop Jones
• 2012/08/10 Re: [ProofPower] ProofPower Update Rob Arthan
• 2012/08/10 Re: [ProofPower] ProofPower Update Roger Bishop Jones
• 2012/08/10 Re: [ProofPower] ProofPower Update Rob Arthan
• 2012/08/09 Re: [ProofPower] ProofPower Update Rob Arthan
• 2012/08/09 Re: [ProofPower] ProofPower Update Roger Bishop Jones
• 2012/08/09 Re: [ProofPower] ProofPower Update Roger Bishop Jones
• 2012/08/09 [ProofPower] ProofPower Update Rob Arthan
• 2012/08/06 Re: [ProofPower] ProofPower RCS Repository Roger Bishop Jones
• 2012/08/06 Re: [ProofPower] ProofPower RCS Repository Rob Arthan
• 2012/08/06 Re: [ProofPower] ProofPower RCS Repository Roger Bishop Jones
• 2012/08/05 [ProofPower] ProofPower RCS Repository Rob Arthan
• 2012/08/04 [ProofPower] ProofPower on AWS EC2 Roger Bishop Jones
• 2012/08/03 Re: [ProofPower] Trouble Installing in cloud Phil Clayton
• 2012/08/02 Re: [ProofPower] Trouble Installing in cloud Wolfram Kahl
• 2012/08/02 Re: [ProofPower] Trouble Installing in cloud Rob Arthan
• 2012/08/01 Re: [ProofPower] Trouble Installing in cloud Roger Bishop Jones
• 2012/08/01 Re: [ProofPower] Trouble Installing on Windows Phil Clayton
• 2012/08/01 Re: [ProofPower] Trouble Installing in cloud Phil Clayton
• 2012/08/01 Re: [ProofPower] Trouble Installing on Windows Jon Lockhart
• 2012/08/01 Re: [ProofPower] Trouble Installing on Windows Phil Clayton
• 2012/08/01 Re: [ProofPower] Trouble Installing on Windows Jon Lockhart
• 2012/08/01 Re: [ProofPower] Trouble Installing in cloud Roger Bishop Jones
• 2012/08/01 Re: [ProofPower] Trouble Installing in cloud Phil Clayton
• 2012/08/01 [ProofPower] Trouble Installing in cloud Roger Bishop Jones
• 2012/08/01 Re: [ProofPower] Trouble Installing on Windows Phil Clayton
• 2012/07/31 Re: [ProofPower] Trouble Installing on Windows Jon Lockhart
• 2012/07/31 Re: [ProofPower] Trouble Installing on Windows Rob Arthan
• 2012/07/31 Re: [ProofPower] Trouble Installing on Windows Jon Lockhart
• 2012/07/31 Re: [ProofPower] Trouble Installing on Windows Phil Clayton
• 2012/07/31 Re: [ProofPower] Trouble Installing on Windows Phil Clayton
• 2012/07/31 Re: [ProofPower] Trouble Installing on Windows Jon Lockhart
• 2012/07/29 Re: [ProofPower] Trouble Installing on Windows Jon Lockhart
• 2012/07/29 Re: [ProofPower] Trouble Installing on Windows rda
• 2012/07/29 Re: [ProofPower] Trouble Installing on Windows Jon Lockhart
• 2012/07/28 Re: [ProofPower] ProofPower in the cloud? Roger Bishop Jones
• 2012/07/27 Re: [ProofPower] ProofPower in the cloud? Roger Bishop Jones
• 2012/07/27 Re: [ProofPower] ProofPower in the cloud? Rob Arthan
• 2012/07/22 [ProofPower] ProofPower in the cloud? Roger Bishop Jones
• 2012/07/22 Re: [ProofPower] Trouble Installing on Windows Rob Arthan
• 2012/07/21 Re: [ProofPower] Trouble Installing on Windows Jon Lockhart
• 2012/07/21 Re: [ProofPower] Trouble Installing on Windows Rob Arthan
• 2012/07/19 [ProofPower] Trouble Installing on Windows Jon Lockhart
• 2012/04/24 Re: [ProofPower] Scope of variables in Z declaration Rob Arthan
• 2012/04/23 Re: [ProofPower] Scope of variables in Z declaration Roger Bishop Jones
• 2012/04/21 [ProofPower] Continuing the theme of terrible formal methods limericks... Phil Clayton
• 2012/04/20 Re: [ProofPower] Scope of variables in Z declaration Phil Clayton
• 2012/04/20 Re: [ProofPower] Scope of variables in Z declaration Phil Clayton
• 2012/04/20 Re: [ProofPower] Scope of variables in Z declaration Phil Clayton
• 2012/04/20 Re: [ProofPower] Scope of variables in Z declaration Rob Arthan
• 2012/04/15 Re: [ProofPower] Scope of variables in Z declaration Roger Bishop Jones
• 2012/04/14 [ProofPower] Scope of variables in Z declaration Phil Clayton
• 2012/04/04 Re: [ProofPower] Theorem QA Rob Arthan
• 2012/03/29 Re: [ProofPower] Theorem QA Phil Clayton
• 2012/03/29 Re: [ProofPower] Theorem QA Rob Arthan
• 2012/03/29 Re: [ProofPower] Theorem QA Phil Clayton
• 2012/03/27 Re: [ProofPower] Theorem QA Rob Arthan
• 2012/03/25 Re: [ProofPower] Theorem QA Phil Clayton
• 2012/03/24 [ProofPower] Theorem QA Rob Arthan
• 2012/02/02 Re: [ProofPower] Fixes for building with SML/NJ Rob Arthan
• 2012/02/02 Re: [ProofPower] Fixes for building with SML/NJ Phil Clayton
• 2012/02/02 Re: [ProofPower] Fixes for building with SML/NJ Rob Arthan
• 2012/01/31 [ProofPower] Fixes for building with SML/NJ Phil Clayton
• 2012/01/31 [ProofPower] Fwd: ABZ2012 short papers Rob Arthan
• 2012/01/10 [ProofPower] Fwd: ABZ2012 Rob Arthan
• 2011/12/22 [ProofPower] Fwd: ABZ2012 remind deadline Rob Arthan
• 2011/10/24 [ProofPower] Alternative font for ProofPower (small laptops). Frank Zeyda
• 2011/09/28 Re: [ProofPower] Writing Z schema predicates with decorations Roger Bishop Jones
• 2011/09/28 Re: [ProofPower] Writing Z schema predicates with decorations Phil Clayton
• 2011/09/28 Re: [ProofPower] Writing Z schema predicates with decorations Phil Clayton
• 2011/09/27 Re: [ProofPower] Writing Z schema predicates with decorations Roger Bishop Jones
• 2011/09/25 Re: [ProofPower] Writing Z schema predicates with decorations Phil Clayton
• 2011/09/25 Re: [ProofPower] Writing Z schema predicates with decorations Phil Clayton
• 2011/09/25 Re: [ProofPower] Writing Z schema predicates with decorations Roger Bishop Jones
• 2011/09/24 Re: [ProofPower] Writing Z schema predicates with decorations Roger Bishop Jones
• 2011/09/24 Re: [ProofPower] Writing Z schema predicates with decorations Rob Arthan
• 2011/09/17 [ProofPower] Writing Z schema predicates with decorations Phil Clayton
• 2011/09/13 [ProofPower] Denormalized Z terms Phil Clayton
• 2011/09/13 Re: [ProofPower] Experimental OpenProofPower release 2.9.1w2.rda.110814 Phil Clayton
• 2011/09/08 Re: [ProofPower] Experimental OpenProofPower release 2.9.1w2.rda.110814 Rob Arthan
• 2011/09/06 Re: [ProofPower] Experimental OpenProofPower release 2.9.1w2.rda.110814 Phil Clayton
• 2011/09/04 Re: [ProofPower] Experimental OpenProofPower release 2.9.1w2.rda.110814 Rob Arthan
• 2011/09/03 Re: [ProofPower] Experimental OpenProofPower release 2.9.1w2.rda.110814 Phil Clayton
• 2011/08/14 Re: [ProofPower] Experimental OpenProofPower release 2.9.1w2.rda.110814 Rob Arthan
• 2011/08/14 [ProofPower] Experimental OpenProofPower release 2.9.1w2.rda.110814 Rob Arthan
• 2011/08/05 Re: [ProofPower] z_%mem%_seta_conv issue Rob Arthan
• 2011/08/02 Re: [ProofPower] z_%mem%_seta_conv issue Phil Clayton
• 2011/08/02 Re: [ProofPower] z_%mem%_seta_conv issue Phil Clayton
• 2011/07/31 Re: [ProofPower] z_%mem%_seta_conv issue Rob Arthan
• 2011/07/30 Re: [ProofPower] z_%mem%_seta_conv issue Rob Arthan
• 2011/07/28 [ProofPower] z_%mem%_seta_conv issue Phil Clayton
• 2011/07/27 [ProofPower] Experimental OpenProofPower release 2.9.1w2.rda.110727 Rob Arthan
• 2011/07/27 Re: [ProofPower] How do you arrange Xpp? Phil Clayton
• 2011/07/27 Re: [ProofPower] How do you arrange Xpp? Rob Arthan
• 2011/07/22 Re: [ProofPower] How do you arrange Xpp? Mark
• 2011/07/22 Re: [ProofPower] How do you arrange Xpp? Artur Oliveira Gomes
• 2011/07/22 [ProofPower] How do you arrange Xpp? Rob Arthan
• 2011/07/17 Re: [ProofPower] Z parser/pretty printer issue with precedence of lambda and mu Phil Clayton
• 2011/07/16 Re: [ProofPower] Z parser/pretty printer issue with precedence of lambda and mu Rob Arthan
• 2011/07/15 Re: [ProofPower] Z pretty printing issue with strokes in global variable names Phil Clayton
• 2011/07/15 [ProofPower] Z parser/pretty printer issue with precedence of lambda and mu Phil Clayton
• 2011/07/14 Re: [ProofPower] Z pretty printing issue with strokes in global variable names Rob Arthan
• 2011/07/12 Re: [ProofPower] Printing of \not\in Roger Bishop Jones
• 2011/07/12 Re: [ProofPower] Printing of \not\in rda
• 2011/07/12 [ProofPower] Z pretty printing issue with strokes in global variable names Phil Clayton
• 2011/07/11 Re: [ProofPower] Schema in a predicate stub Phil Clayton
• 2011/07/11 Re: [ProofPower] Printing of \not\in Roger Bishop Jones
• 2011/07/11 Re: [ProofPower] Printing of \not\in Rob Arthan
• 2011/07/11 Re: [ProofPower] Schema in a predicate stub Rob Arthan
• 2011/07/11 Re: [ProofPower] Schema in a predicate stub Rob Arthan
• 2011/07/10 Re: [ProofPower] Printing of \not\in Roger Bishop Jones
• 2011/07/10 Re: [ProofPower] Printing of \not\in Rob Arthan
• 2011/07/10 Re: [ProofPower] Xpp on Fedora 14 and later Phil Clayton
• 2011/07/10 Re: [ProofPower] Printing of \not\in Roger Bishop Jones
• 2011/07/10 Re: [ProofPower] Printing of \not\in Rob Arthan
• 2011/07/09 Re: [ProofPower] Xpp on Fedora 14 and later Phil Clayton
• 2011/07/09 Re: [ProofPower] Xpp on Fedora 14 and later Rob Arthan
• 2011/07/07 [ProofPower] Empty schema paragraphs Phil Clayton
• 2011/07/07 [ProofPower] Xpp on Fedora 14 and later Phil Clayton
• 2011/07/06 Re: [ProofPower] Schema in a predicate stub Phil Clayton
• 2011/07/05 Re: [ProofPower] z_%mu%_eq_tac? Phil Clayton
• 2011/07/04 Re: [ProofPower] v_%exists%_intro efficiency Phil Clayton
• 2011/06/21 [ProofPower] Schema in a predicate stub Phil Clayton
• 2011/06/08 Re: [ProofPower] Type inference issue with characteristic tuples Phil Clayton
• 2011/06/08 Re: [ProofPower] Type inference issue with characteristic tuples Rob Arthan
• 2011/06/08 Re: [ProofPower] Characteristic function construction? Rob Arthan
• 2011/06/05 [ProofPower] Characteristic function construction? Phil Clayton
• 2011/06/05 [ProofPower] Type inference issue with characteristic tuples Phil Clayton
• 2011/05/26 Re: [ProofPower] prim_rewrite_conv etc. Phil Clayton
• 2011/05/20 Re: [ProofPower] prim_rewrite_conv etc. Rob Arthan
• 2011/05/15 Re: [ProofPower] prim_rewrite_conv etc. Phil Clayton
• 2011/05/05 [ProofPower] prim_rewrite_conv etc. Rob Arthan
• 2011/04/25 Re: [ProofPower] Experimental OpenProofPower release 2.9.1w2.rda.110226.tgz Rob Arthan
• 2011/04/17 Re: [ProofPower] xpp Segmentation fault Rob Arthan
• 2011/04/17 Re: [ProofPower] xpp Segmentation fault Shu Cheng
• 2011/04/17 Re: [ProofPower] xpp Segmentation fault Phil Clayton
• 2011/04/17 Re: [ProofPower] xpp Segmentation fault Rob Arthan
• 2011/04/17 Re: [ProofPower] xpp Segmentation fault Phil Clayton
• 2011/04/17 Re: [ProofPower] xpp Segmentation fault Shu Cheng
• 2011/04/17 Re: [ProofPower] xpp Segmentation fault Phil Clayton
• 2011/04/17 [ProofPower] xpp Segmentation fault Shu Cheng
• 2011/04/17 [ProofPower] Exceptions not translated for output - raw_diag_string in imp110? Phil Clayton
• 2011/04/17 Re: [ProofPower] Extended characters in exceptions Phil Clayton
• 2011/04/16 Re: [ProofPower] Extended characters in exceptions Roger Bishop Jones
• 2011/04/16 Re: [ProofPower] Extended characters in exceptions Rob Arthan
• 2011/04/16 Re: [ProofPower] New Languages in ProofPower Roger Bishop Jones
• 2011/04/16 Re: [ProofPower] New Languages in ProofPower Phil Clayton
• 2011/04/16 [ProofPower] New Languages in ProofPower Roger Bishop Jones
• 2011/04/15 Re: [ProofPower] Extended characters in exceptions Phil Clayton
• 2011/04/15 [ProofPower] Extended characters in exceptions Roger Bishop Jones
• 2011/04/12 Re: [ProofPower] Experimental OpenProofPower release 2.9.1w2.rda.110226.tgz Phil Clayton
• 2011/04/11 [ProofPower] HOL Glossary Mark Adams
• 2011/04/01 [ProofPower] Check for normal Z terms when printing? Phil Clayton
• 2011/03/31 Re: [ProofPower] Printing of \not\in Roger Bishop Jones
• 2011/03/29 Re: [ProofPower] Printing of \not\in Rob Arthan
• 2011/03/27 [ProofPower] Printing of \not\in Roger Bishop Jones
• 2011/03/16 Re: [ProofPower] Clap your hand to Artur rda
• 2011/03/16 Re: [ProofPower] Clap your hand to Artur Artur Oliveira Gomes
• 2011/03/16 Re: [ProofPower] Clap your hand to Artur Mark
• 2011/03/15 Re: [ProofPower] Clap your hand to Artur rda
• 2011/03/15 [ProofPower] Clap your hand to Artur Marcel Oliveira
• 2011/03/15 [ProofPower] ProofPower install script for Ubuntu Linux Artur Oliveira Gomes
• 2011/03/14 Re: [ProofPower] PP Installation Rob Arthan
• 2011/03/14 [ProofPower] RES: RES: PP Installation Marcel Oliveira
• 2011/03/14 Re: [ProofPower] RES: PP Installation Mark
• 2011/03/14 [ProofPower] RES: PP Installation Marcel Oliveira
• 2011/03/12 Re: [ProofPower] PP Installation Roger Bishop Jones
• 2011/03/11 Re: [ProofPower] PP Installation Marcel Oliveira
• 2011/03/11 Re: [ProofPower] PP Installation Roger Bishop Jones
• 2011/03/11 Re: [ProofPower] PP Installation Marcel Oliveira
• 2011/03/11 [ProofPower] PP Installation Marcel Oliveira
• 2011/02/27 Re: [ProofPower] Cut and Paste in xpp on Ubuntu Roger Bishop Jones
• 2011/02/26 [ProofPower] Experimental OpenProofPower release 2.9.1w2.rda.110226.tgz Rob Arthan
• 2011/02/26 [ProofPower] PPRefinement Example in 2.9.1w2 Rob Arthan
• 2011/02/24 Re: [ProofPower] Cut and Paste in xpp on Ubuntu rda
• 2011/02/24 [ProofPower] Cut and Paste in xpp on Ubuntu Roger Bishop Jones
• 2011/02/17 [ProofPower] OpenProofPower on Cygwin on Vista Rob Arthan
• 2011/02/01 Re: [ProofPower] OpenProofPower version 2.9.1w2 Rob Arthan
• 2011/02/01 [ProofPower] OpenProofPower version 2.9.1w2 Rob Arthan
• 2011/01/18 Re: [ProofPower] defining binders in HOL Rob Arthan
• 2011/01/18 [ProofPower] defining binders in HOL Roger Bishop Jones
• 2011/01/15 Re: [ProofPower] bijection between N adn N x N Roger Bishop Jones
• 2011/01/15 Re: [ProofPower] bijection between N adn N x N Rob Arthan
• 2011/01/11 Re: [ProofPower] bijection between N adn N x N Roger Bishop Jones
• 2011/01/11 Re: [ProofPower] bijection between N adn N x N Rob Arthan
• 2011/01/11 Re: [ProofPower] bijection between N adn N x N Rob Arthan
• 2011/01/11 [ProofPower] bijection between N adn N x N Roger Bishop Jones

• Earlier messages
• Later messages