proofpower  

Messages by Date

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

• Earlier messages