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