proofpower  

Messages by Thread

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

• Earlier messages
• Later messages