proofpower  

Messages by Thread

• [ProofPower] FSEN 2025 - Call for Papers Bos, Petra van den (UT-EEMCS)
• [ProofPower] Test Rob Arthan
  • Re: [ProofPower] Test Rob Arthan
  • Re: [ProofPower] "Unicode" vs. UTF8 Makarius
  • Re: [ProofPower] "Unicode" vs. UTF8 Roger Bishop Jones
  • Re: [ProofPower] "Unicode" vs. UTF8 Rob Arthan
  • Re: [ProofPower] Test Ramana Kumar
  • Re: [ProofPower] Test Marcel Oliveira
  • Re: [ProofPower] Test Phil Clayton
  • Re: [ProofPower] Test Jon Lockhart
  • Re: [ProofPower] Test Mark Adams
• Re: [ProofPower] Existential Elimination David Topham
  • Re: [ProofPower] Existential Elimination Roger Bishop Jones
• [ProofPower] Law of Cases David Topham
  • Re: [ProofPower] Law of Cases Rob Arthan
• [ProofPower] ∃_elim David Topham
  • Re: [ProofPower] ∃_elim Roger Bishop Jones
• [ProofPower] HOLCONST David Topham
  • Re: [ProofPower] HOLCONST Phil Clayton
  • Re: [ProofPower] HOLCONST Rob Arthan
• Re: [ProofPower] Proofpower Digest, Vol 120, Issue 1 David Topham
  • Re: [ProofPower] Proofpower Digest, Vol 120, Issue 1 Rob Arthan
• [ProofPower] Testing, testing Rob Arthan
• Re: [ProofPower] Proofpower Digest, Vol 119, Issue 1 David Topham
  • Re: [ProofPower] Proofpower Digest, Vol 119, Issue 1 Roger Bishop Jones
  • Re: [ProofPower] Proofpower Digest, Vol 119, Issue 1 Rob Arthan
• [ProofPower] ProofPower output David Topham
  • Re: [ProofPower] ProofPower output Rob Arthan
  • Re: [ProofPower] ProofPower output David Topham
• [ProofPower] Fwd: Job Opportunity at D-RisQ Rob Arthan
• [ProofPower] Updates to the ProofPower Mathematical Case Studies Rob Arthan
• [ProofPower] PP 3.1w7 installation problems with Fedora 24 Mark Adams
  • Re: [ProofPower] PP 3.1w7 installation problems with Fedora 24 Phil Clayton
  • Re: [ProofPower] PP 3.1w7 installation problems with Fedora 24 Mark Adams
  • Re: [ProofPower] PP 3.1w7 installation problems with Fedora 24 Phil Clayton
  • Re: [ProofPower] PP 3.1w7 installation problems with Fedora 24 Mark Adams
  • Re: [ProofPower] PP 3.1w7 installation problems with Fedora 24 Phil Clayton
  • Re: [ProofPower] PP 3.1w7 installation problems with Fedora 24 Mark Adams
  • Re: [ProofPower] PP 3.1w7 installation problems with Fedora 24 Rob Arthan
• [ProofPower] Setting up on macosx Sierra fails... Hugh Anderson
  • Re: [ProofPower] Setting up on macosx Sierra fails... Hugh Anderson
  • Re: [ProofPower] Setting up on macosx Sierra fails... Phil Clayton
  • Re: [ProofPower] Setting up on macosx Sierra fails... Phil Clayton
  • Re: [ProofPower] Setting up on macosx Sierra fails... Hugh Anderson
  • Re: [ProofPower] Setting up on macosx Sierra fails... Rob Arthan
• Re: [ProofPower] Proofpower Digest, Vol 110, Issue 4 Steve Reeves
• [ProofPower] Is this a MacOs 10.12 problem? Steve Reeves
  • Re: [ProofPower] Is this a MacOs 10.12 problem? Rob Arthan
  • Re: [ProofPower] Is this a MacOs 10.12 problem? Steve Reeves
  • Re: [ProofPower] Is this a MacOs 10.12 problem? Rob Arthan
  • Re: [ProofPower] Is this a MacOs 10.12 problem? Steve Reeves
  • Re: [ProofPower] Is this a MacOs 10.12 problem? Rob Arthan
• [ProofPower] Distributed concatenation symbol Rob Arthan
  • Re: [ProofPower] Distributed concatenation symbol Anthony Hall
  • Re: [ProofPower] Distributed concatenation symbol Phil Clayton
  • Re: [ProofPower] Distributed concatenation symbol Rob Arthan
• [ProofPower] Font for SML David Topham
  • Re: [ProofPower] Font for SML Roger Bishop Jones
  • Re: [ProofPower] Font for SML David Topham
  • Re: [ProofPower] Font for SML David Topham
  • Re: [ProofPower] Font for SML Rob Arthan
  • Re: [ProofPower] Font for SML David Topham
  • Re: [ProofPower] Font for SML David Topham
  • Re: [ProofPower] Font for SML Roger Bishop Jones
• [ProofPower] Correction to the Unicode mapping Rob Arthan
• [ProofPower] file conversion Roger Bishop Jones
  • Re: [ProofPower] file conversion Roger Bishop Jones
• [ProofPower] ProofPower on Ubuntu 16.04 Roger Bishop Jones
  • Re: [ProofPower] ProofPower on Ubuntu 16.04 Rob Arthan
  • Re: [ProofPower] ProofPower on Ubuntu 16.04 Rob Arthan
  • Re: [ProofPower] ProofPower on Ubuntu 16.04 Roger Bishop Jones
  • Re: [ProofPower] ProofPower on Ubuntu 16.04 Rob Arthan
• [ProofPower] CFP: WADT 2016 James P . D .
• [ProofPower] Installing ProofPower on OS X El Capitain Roger Bishop Jones
• [ProofPower] ProofPower build on OS X Roger Bishop Jones
  • Re: [ProofPower] ProofPower build on OS X Rob Arthan
  • Re: [ProofPower] ProofPower build on OS X Roger Bishop Jones
  • Re: [ProofPower] ProofPower build on OS X Rob Arthan
  • Re: [ProofPower] ProofPower build on OS X Roger Bishop Jones
  • Re: [ProofPower] ProofPower build on OS X Rob Arthan
  • Re: [ProofPower] ProofPower build on OS X Roger Bishop Jones
  • Re: [ProofPower] ProofPower build on OS X Rob Arthan
  • Re: [ProofPower] ProofPower build on OS X Roger Bishop Jones
• [ProofPower] Final Call for Papers: Special Issue of the SCP on Automated Verification of Critical Systems Lin, Yuhui
• [ProofPower] ProofPower on OS X Roger Bishop Jones
  • Re: [ProofPower] ProofPower on OS X Roger Bishop Jones
  • Re: [ProofPower] ProofPower on OS X Rob Arthan
  • Re: [ProofPower] ProofPower on OS X Roger Bishop Jones
  • Re: [ProofPower] ProofPower on OS X Roger Bishop Jones
• [ProofPower] Second Call for Papers: Special Issue of the SCP on Automated Verification of Critical Systems Lin, Yuhui
• [ProofPower] V_cancel_rule alpha-conversion error David Topham
  • Re: [ProofPower] V_cancel_rule alpha-conversion error mark
  • Re: [ProofPower] V_cancel_rule alpha-conversion error Rob Arthan
  • Re: [ProofPower] V_cancel_rule alpha-conversion error Rob Arthan
  • Re: [ProofPower] V_cancel_rule alpha-conversion error Roger Bishop Jones
  • Re: [ProofPower] V_cancel_rule alpha-conversion error Rob Arthan
  • Re: [ProofPower] V_cancel_rule alpha-conversion error David Topham
• [ProofPower] xpp color highlighting David Topham
  • Re: [ProofPower] xpp color highlighting Rob Arthan
• [ProofPower] Support for Unicode and UTF-8 Rob Arthan
• [ProofPower] install problem: Error: Can't open display: Lin, Yuhui
  • Re: [ProofPower] install problem: Error: Can't open display: Rob Arthan
  • Re: [ProofPower] install problem: Error: Can't open display: Lin, Yuhui
• [ProofPower] First Call for Papers: Special Issue of the SCP on Automated Verification of Critical Systems Lin, Yuhui
• [ProofPower] xpp problem on MacPorts OpenMotif Rob Arthan
• [ProofPower] tactic in backward reasoning for rewrite rules with conditions Lin, Yuhui
  • Re: [ProofPower] tactic in backward reasoning for rewrite rules with conditions Roger Bishop Jones
  • Re: [ProofPower] tactic in backward reasoning for rewrite rules with conditions Roger Bishop Jones
  • Re: [ProofPower] tactic in backward reasoning for rewrite rules with conditions Lin, Yuhui
  • Re: [ProofPower] tactic in backward reasoning for rewrite rules with conditions Roger Bishop Jones
• [ProofPower] z_app_thm Phil Clayton
  • Re: [ProofPower] z_app_thm Roger Jones
• [ProofPower] Attachments Rob Arthan
• [ProofPower] Literate Programming David Topham
  • Re: [ProofPower] Literate Programming Roger Jones
  • Re: [ProofPower] Literate Programming Rob Arthan
• [ProofPower] AVoCS 2015: Joint Call for Research Idea Papers & Participation Lin, Yuhui
• [ProofPower] Installation - location of Latex? David Topham
  • Re: [ProofPower] Installation - location of Latex? David Topham
• [ProofPower] Hard copy manuals Roger Bishop Jones
• Re: [ProofPower] Issue in compiling OpenProofPower-3.1w5 on Xubuntu (Ubuntu) 14.04 LTS Rob Arthan
• [ProofPower] AVoCS 2015: Extended Paper Deadline YuHui Lin
• [ProofPower] apply conditional rewriting YuHui Lin
  • Re: [ProofPower] apply conditional rewriting Roger Bishop Jones
• [ProofPower] error msg when instantiating quantifier in asm YuHui Lin
  • Re: [ProofPower] error msg when instantiating quantifier in asm Phil Clayton
• [ProofPower] Question about installation. Robert White
  • Re: [ProofPower] Question about installation. Rob Arthan
  • Re: [ProofPower] Question about installation. Robert White
  • Re: [ProofPower] Question about installation. Rob Arthan
  • Re: [ProofPower] Question about installation. Robert White
• [ProofPower] AVoCS 2015: Final Call for Papers YuHui Lin
• [ProofPower] AI4FM 2015: Call for Short Contributions Iain Whiteside
• Re: [ProofPower] OpenProofPower 3.1w5 Phil Clayton
  • Re: [ProofPower] OpenProofPower 3.1w5 Rob Arthan
  • Re: [ProofPower] OpenProofPower 3.1w5 Phil Clayton
  • Re: [ProofPower] OpenProofPower 3.1w5 Rob Arthan
• [ProofPower] building error and solution regarding the x11 path for Mac YuHui Lin
  • Re: [ProofPower] building error and solution regarding the x11 path for Mac Rob Arthan
  • Re: [ProofPower] building error and solution regarding the x11 path for Mac YuHui Lin
• Re: [ProofPower] Equational logic David Topham
  • Re: [ProofPower] Equational logic David Topham
  • Re: [ProofPower] Equational logic Roger Jones
• Re: [ProofPower] Proofpower Digest, Vol 91, Issue 10 dtopham
  • [ProofPower] Equational logic dtopham
• [ProofPower] ProofPower (and xpp) is a great program! David Topham
  • Re: [ProofPower] ProofPower (and xpp) is a great program! Phil Clayton
  • Re: [ProofPower] ProofPower (and xpp) is a great program! Rob Arthan
• [ProofPower] Updated Unicode translation scheme Rob Arthan
  • Re: [ProofPower] Updated Unicode translation scheme Anthony Hall
  • Re: [ProofPower] Updated Unicode translation scheme Rob Arthan
  • Re: [ProofPower] Updated Unicode translation scheme Anthony Hall
  • Re: [ProofPower] Updated Unicode translation scheme Phil Clayton
• [ProofPower] AVoCS 2015: Second Call for Papers YuHui Lin
• [ProofPower] Predicate Calculus David Topham
  • Re: [ProofPower] Predicate Calculus Rob Arthan
  • Re: [ProofPower] Predicate Calculus Rob Arthan
  • Re: [ProofPower] Predicate Calculus David Topham
• [ProofPower] Unicode and ProofPower Rob Arthan
  • Re: [ProofPower] Unicode and ProofPower Rob Arthan
  • Re: [ProofPower] Unicode and ProofPower Phil Clayton
  • Re: [ProofPower] Unicode and ProofPower Rob Arthan
  • Re: [ProofPower] Unicode and ProofPower Phil Clayton
• Re: [ProofPower] ProofPower PrettyPrinter Rob Arthan
  • Re: [ProofPower] ProofPower PrettyPrinter David Topham
• [ProofPower] ProofPower and Discrete Math David Topham
  • Re: [ProofPower] ProofPower and Discrete Math Roger Bishop Jones
  • Re: [ProofPower] ProofPower and Discrete Math Rob Arthan
  • Re: [ProofPower] ProofPower and Discrete Math David Topham
  • Re: [ProofPower] ProofPower and Discrete Math Roger Bishop Jones
  • Re: [ProofPower] 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 Rob Arthan
  • Re: [ProofPower] 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] (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] (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] (EXTERNAL) Re: ProofPower and Discrete Math Rob Arthan
  • 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] (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

• Earlier messages