hol-info

Messages by Date

2017/10/28 [Hol-info] Can the simplifier from simpLib normalize symmetric relations? Mario Castelán Castro
2017/10/28 [Hol-info] build failed with latest HOL Waqar Ahmad via hol-info
2017/10/27 Re: [Hol-info] How to define term-like multi-recursive structures? Chun Tian
2017/10/27 Re: [Hol-info] How to define term-like multi-recursive structures? Chun Tian
2017/10/26 Re: [Hol-info] How to define term-like multi-recursive structures? Michael.Norrish
2017/10/26 Re: [Hol-info] How to define term-like multi-recursive structures? Chun Tian (binghe)
2017/10/26 Re: [Hol-info] How to define term-like multi-recursive structures? Chun Tian (binghe)
2017/10/25 Re: [Hol-info] How to define term-like multi-recursive structures? Michael.Norrish
2017/10/25 Re: [Hol-info] About building time and using HOL4 development version Mario Castelán Castro
2017/10/25 Re: [Hol-info] About building time and using HOL4 development version Michael.Norrish
2017/10/25 Re: [Hol-info] About building time and using HOL4 development version Mario Castelán Castro
2017/10/25 Re: [Hol-info] About building time and using HOL4 development version Michael.Norrish
2017/10/25 Re: [Hol-info] About building time and using HOL4 development version Mario Castelán Castro
2017/10/25 Re: [Hol-info] About building time and using HOL4 development version Chun Tian
2017/10/25 Re: [Hol-info] About building time and using HOL4 development version Mario Castelán Castro
2017/10/25 Re: [Hol-info] About building time and using HOL4 development version Chun Tian
2017/10/25 [Hol-info] About building time and using HOL4 development version Mario Castelán Castro
2017/10/25 [Hol-info] How to define term-like multi-recursive structures? Chun Tian (binghe)
2017/10/23 [Hol-info] CfP: Models for Formal Analysis of Real Systems (MARS 2018) Rob van Glabbeek and Wendelin Serwe
2017/10/23 [Hol-info] KR18 - Call for Tutorial and Workshop Proposals Marcello Balduccini
2017/10/23 [Hol-info] CiE 2018: Preliminary announcement Florin Manea
2017/10/23 [Hol-info] CAV 2018: Call for papers no-reply
2017/10/23 Re: [Hol-info] Small question about sqrt Liu Gengyang
2017/10/23 Re: [Hol-info] Small question about sqrt Liu Gengyang
2017/10/23 Re: [Hol-info] On the order of "variable" substitutions in lists or recursive structures Chun Tian
2017/10/23 Re: [Hol-info] On the order of "variable" substitutions in lists or recursive structures Konrad Slind
2017/10/23 [Hol-info] On the order of "variable" substitutions in lists or recursive structures Chun Tian
2017/10/23 Re: [Hol-info] LRTC (Reflexive Transitive Closure with a List) Chun Tian
2017/10/22 Re: [Hol-info] LRTC (Reflexive Transitive Closure with a List) Michael.Norrish
2017/10/22 Re: [Hol-info] res_quanLib and res_quanTools are exact duplicates Mario Castelán Castro
2017/10/22 Re: [Hol-info] res_quanLib and res_quanTools are exact duplicates Michael.Norrish
2017/10/22 Re: [Hol-info] Small question about sqrt Michael.Norrish
2017/10/22 Re: [Hol-info] Spurious parent theories Mario Castelán Castro
2017/10/22 Re: [Hol-info] Spurious parent theories Michael.Norrish
2017/10/22 Re: [Hol-info] Spurious parent theories Mario Castelán Castro
2017/10/22 Re: [Hol-info] Small question about sqrt Ramana Kumar
2017/10/22 Re: [Hol-info] Spurious parent theories Konrad Slind
2017/10/22 [Hol-info] Spurious parent theories Mario Castelán Castro
2017/10/20 [Hol-info] res_quanLib and res_quanTools are exact duplicates Mario Castelán Castro
2017/10/20 Re: [Hol-info] How to express the elements in a list are all identical? Mario Castelán Castro
2017/10/20 [Hol-info] Small question about sqrt Liu Gengyang
2017/10/19 Re: [Hol-info] How to express the elements in a list are all identical? Chun Tian
2017/10/19 Re: [Hol-info] How to express the elements in a list are all identical? Mario Castelán Castro
2017/10/19 Re: [Hol-info] How to express the elements in a list are all identical? Mario Castelán Castro
2017/10/19 Re: [Hol-info] How to express the elements in a list are all identical? Mario Castelán Castro
2017/10/19 [Hol-info] How to express the elements in a list are all identical? Chun Tian
2017/10/17 [Hol-info] LATA 2018: 2nd call for papers GRLMC
2017/10/17 [Hol-info] CFP: International Conference on Logic Programming 2018; First Call for Papers NMSU COMPUTER SCIENCE
2017/10/16 Re: [Hol-info] Conflicted "inv" pp_elements in relationTheory and realaxTheory Michael.Norrish
2017/10/16 Re: [Hol-info] line wrap length in hol-mode Mario Castelán Castro
2017/10/16 Re: [Hol-info] line wrap length in hol-mode Michael.Norrish
2017/10/16 Re: [Hol-info] Conflicted "inv" pp_elements in relationTheory and realaxTheory Mario Castelán Castro
2017/10/16 Re: [Hol-info] Conflicted "inv" pp_elements in relationTheory and realaxTheory Chun Tian
2017/10/16 [Hol-info] line wrap length in hol-mode Mario Castelán Castro
2017/10/16 Re: [Hol-info] Conflicted "inv" pp_elements in relationTheory and realaxTheory Mario Castelán Castro
2017/10/16 Re: [Hol-info] Conflicted "inv" pp_elements in relationTheory and realaxTheory Chun Tian (binghe)
2017/10/16 Re: [Hol-info] Conflicted "inv" pp_elements in relationTheory and realaxTheory Mario Castelán Castro
2017/10/16 Re: [Hol-info] Conflicted "inv" pp_elements in relationTheory and realaxTheory Mario Castelán Castro
2017/10/16 [Hol-info] Conflicted "inv" pp_elements in relationTheory and realaxTheory Chun Tian (binghe)
2017/10/16 Re: [Hol-info] Converting ordinals from different type variables? Chun Tian (binghe)
2017/10/15 [Hol-info] CFP: ITP 2018 Jeremy Avigad
2017/10/15 Re: [Hol-info] Converting ordinals from different type variables? Michael.Norrish
2017/10/15 Re: [Hol-info] What is the purpose of labels? Mario Castelán Castro
2017/10/15 Re: [Hol-info] What is the purpose of labels? Michael.Norrish
2017/10/15 [Hol-info] Converting ordinals from different type variables? Chun Tian
2017/10/14 Re: [Hol-info] What is the purpose of labels? Mario Castelán Castro
2017/10/14 [Hol-info] What is the purpose of labels? Mario Castelán Castro
2017/10/13 Re: [Hol-info] Difficulties in formalizing an informal proof with cardinals (or ordinals) Mario Castelán Castro
2017/10/12 Re: [Hol-info] Difficulties in formalizing an informal proof with cardinals (or ordinals) Michael.Norrish
2017/10/12 [Hol-info] The 2018 Federated Logic Conference - Workshop Announcement Andrzej Murawski
2017/10/12 Re: [Hol-info] Difficulties in formalizing an informal proof with cardinals (or ordinals) Chun Tian
2017/10/12 Re: [Hol-info] Difficulties in formalizing an informal proof with cardinals (or ordinals) Mario Castelán Castro
2017/10/12 Re: [Hol-info] Difficulties in formalizing an informal proof with cardinals (or ordinals) Chun Tian
2017/10/12 Re: [Hol-info] Difficulties in formalizing an informal proof with cardinals (or ordinals) Chun Tian
2017/10/12 [Hol-info] Difficulties in formalizing an informal proof with cardinals (or ordinals) Chun Tian
2017/10/11 Re: [Hol-info] What's the recommended way to delete elements from list? Chun Tian (binghe)
2017/10/11 [Hol-info] [fm-announcements] NFM 2018 - 2nd CFP - Extended Deadlines Munoz, Cesar (LARC-D320)
2017/10/11 Re: [Hol-info] What's the recommended way to delete elements from list? Chun Tian (binghe)
2017/10/11 Re: [Hol-info] What's the recommended way to delete elements from list? Ramana Kumar
2017/10/11 Re: [Hol-info] What's the recommended way to delete elements from list? Ramana Kumar
2017/10/11 Re: [Hol-info] What's the recommended way to delete elements from list? Michael.Norrish
2017/10/11 Re: [Hol-info] What's the recommended way to delete elements from list? Chun Tian
2017/10/10 [Hol-info] 12th International Workshop on Rewriting Logic and its Applications (WRLA 2018): first CfP vlad
2017/10/10 [Hol-info] SECOND Call For Papers: FLOPS 2018: 14th International Symposium on Functional and Logic Programming John Patrick Gallagher
2017/10/10 [Hol-info] IJCAR 2018 - Call for Papers geoff
2017/10/10 [Hol-info] Artificial Intelligence and Theorem Proving - Call for Papers geoff
2017/10/10 [Hol-info] FIRST call for papers. VPT 2018 - Sixth International Workshop on Verification and Program Transformation John Patrick Gallagher
2017/10/10 Re: [Hol-info] Is ``:string ordinal`` uncountable or not? Chun Tian (binghe)
2017/10/09 Re: [Hol-info] The use of optionTheory for representing invisible actions in transition systems Chun Tian
2017/10/09 Re: [Hol-info] [ExternalEmail] Re: Is ``:string ordinal`` uncountable or not? Michael.Norrish
2017/10/09 Re: [Hol-info] The use of optionTheory for representing invisible actions in transition systems Michael.Norrish
2017/10/09 Re: [Hol-info] Is ``:string ordinal`` uncountable or not? Michael.Norrish
2017/10/09 [Hol-info] Is ``:string ordinal`` uncountable or not? Chun Tian
2017/10/09 Re: [Hol-info] The use of optionTheory for representing invisible actions in transition systems Chun Tian
2017/10/09 Re: [Hol-info] The use of optionTheory for representing invisible actions in transition systems Konrad Slind
2017/10/09 Re: [Hol-info] The use of optionTheory for representing invisible actions in transition systems Chun Tian (binghe)
2017/10/09 [Hol-info] The use of optionTheory for representing invisible actions in transition systems Chun Tian (binghe)
2017/10/06 Re: [Hol-info] Definitions of partial functions (incl. predicates) Mario Castelán Castro
2017/10/06 Re: [Hol-info] Experience and opinions on proof assistants with “rich” type systems Mario Castelán Castro
2017/10/05 Re: [Hol-info] Definitions of partial functions (incl. predicates) Ramana Kumar
2017/10/05 Re: [Hol-info] How to express the uniqueness of an (or a kind of) element(s) in a list? Chun Tian (binghe)
2017/10/05 Re: [Hol-info] How to express the uniqueness of an (or a kind of) element(s) in a list? Ramana Kumar
2017/10/05 [Hol-info] Definitions of partial functions (incl. predicates) Mario Castelán Castro
2017/10/05 Re: [Hol-info] Experience and opinions on proof assistants with “rich” type systems Freek Wiedijk
2017/10/05 Re: [Hol-info] How to express the uniqueness of an (or a kind of) element(s) in a list? Chun Tian (binghe)
2017/10/05 Re: [Hol-info] Experience and opinions on proof assistants with “rich” type systems Mario Castelán Castro
2017/10/05 Re: [Hol-info] Experience and opinions on proof assistants with “rich” type systems Jeremy Dawson
2017/10/05 Re: [Hol-info] Experience and opinions on proof assistants with “rich” type systems Mario Castelán Castro
2017/10/05 Re: [Hol-info] Experience and opinions on proof assistants with “rich” type systems Chun Tian (binghe)
2017/10/05 Re: [Hol-info] Experience and opinions on proof assistants with “rich” type systems Jeremy Dawson
2017/10/05 Re: [Hol-info] Experience and opinions on proof assistants with “rich” type systems Jeremy Dawson
2017/10/05 Re: [Hol-info] How to express the uniqueness of an (or a kind of) element(s) in a list? Chun Tian (binghe)
2017/10/05 Re: [Hol-info] How to express the uniqueness of an (or a kind of) element(s) in a list? Scott Owens
2017/10/05 Re: [Hol-info] How to express the uniqueness of an (or a kind of) element(s) in a list? Chun Tian (binghe)
2017/10/05 Re: [Hol-info] How to express the uniqueness of an (or a kind of) element(s) in a list? Chun Tian (binghe)
2017/10/05 Re: [Hol-info] How to express the uniqueness of an (or a kind of) element(s) in a list? Konrad Slind
2017/10/05 [Hol-info] How to express the uniqueness of an (or a kind of) element(s) in a list? Chun Tian (binghe)
2017/10/05 [Hol-info] LRTC (Reflexive Transitive Closure with a List) Chun Tian (binghe)
2017/10/05 Re: [Hol-info] Changing thms used by computeLib Ramana Kumar
2017/10/05 Re: [Hol-info] Changing thms used by computeLib Heiko Becker
2017/10/05 Re: [Hol-info] Changing thms used by computeLib Ramana Kumar
2017/10/05 Re: [Hol-info] Experience and opinions on proof assistants with “rich” type systems Freek Wiedijk
2017/10/05 [Hol-info] Changing thms used by computeLib Heiko Becker
2017/10/04 Re: [Hol-info] Experience and opinions on proof assistants with “rich” type systems Ramana Kumar
2017/09/29 Re: [Hol-info] Is it possible to make Holmake print timing information? Mario Castelán Castro
2017/09/29 Re: [Hol-info] Is it possible to make Holmake print timing information? Mario Castelán Castro
2017/09/29 Re: [Hol-info] Is it possible to make Holmake print timing information? Ramana Kumar
2017/09/28 Re: [Hol-info] Question on rewriting with assumptions Mario Castelán Castro
2017/09/28 Re: [Hol-info] Is it possible to make Holmake print timing information? Mario Castelán Castro
2017/09/27 [Hol-info] Commonsense-2017 - Call for Participation geoff
2017/09/27 Re: [Hol-info] Is it possible to make Holmake print timing information? Chun Tian (binghe)
2017/09/27 [Hol-info] Is it possible to make Holmake print timing information? Mario Castelán Castro
2017/09/26 Re: [Hol-info] Is it possible to make Holmake print timing information? Ramana Kumar
2017/09/26 Re: [Hol-info] Question on rewriting with assumptions Ramana Kumar
2017/09/26 Re: [Hol-info] Is it possible to make Holmake print timing information? Michael.Norrish
2017/09/25 Re: [Hol-info] Question on rewriting with assumptions Mario Castelán Castro
2017/09/25 Re: [Hol-info] Question on rewriting with assumptions Mario Castelán Castro
2017/09/25 Re: [Hol-info] Question on rewriting with assumptions Chun Tian (binghe)
2017/09/25 [Hol-info] Question on rewriting with assumptions Mario Castelán Castro
2017/09/25 Re: [Hol-info] Question on rewriting with assumptions Thomas Tuerk
2017/09/22 [Hol-info] LATA 2018: 1st call for papers GRLMC
2017/09/19 [Hol-info] [Vardi-list] Advanced Winter School on Formal Verification Moshe Vardi
2017/09/18 [Hol-info] KR 2018 Doctoral Consortium Call for Papers Marcello Balduccini
2017/09/18 [Hol-info] KR18 - Preliminary Call for Tutorial and Workshop Proposals Marcello Balduccini
2017/09/18 [Hol-info] KR 2018 Call for Papers Marcello Balduccini
2017/09/16 [Hol-info] FINAL call for papers: CPP 2018 Amy Felty
2017/09/14 [Hol-info] Experience and opinions on proof assistants with “rich” type systems Mario Castelán Castro
2017/09/14 Re: [Hol-info] A small question about Datatype. Michael.Norrish
2017/09/14 [Hol-info] A small question about Datatype. Liu Gengyang
2017/09/14 [Hol-info] [fm-announcements] NASA Formal Methods Symposium 2018 - CFP Munoz, Cesar (LARC-D320)
2017/09/13 [Hol-info] ABZ 2018, Call for Contributions Asieh Salehi
2017/09/12 [Hol-info] Now online: ML for the Working Programmer Lawrence Paulson
2017/09/11 Re: [Hol-info] How to find existing developments in HOL4? Mario Castelán Castro
2017/09/11 Re: [Hol-info] How to find existing developments in HOL4? Mario Castelán Castro
2017/09/11 Re: [Hol-info] How to find existing developments in HOL4? Ramana Kumar
2017/09/11 Re: [Hol-info] How to find existing developments in HOL4? Chun Tian (binghe)
2017/09/11 [Hol-info] SOAP@SAC 2018, April 9-13, Pau, France - (EXTENDED DEADLINE) final call for papers sac . soap2018
2017/09/10 Re: [Hol-info] How to find existing developments in HOL4? John . Harrison
2017/09/10 [Hol-info] [Reminder] PADL 2018 - abstract deadline approaching manna
2017/09/10 [Hol-info] CfPart: Reliability, safety and security of railway systems - RSSRail 2017 (Pistoia, Italy) Alexander Romanovsky
2017/09/10 Re: [Hol-info] How to find existing developments in HOL4? Mario Castelán Castro
2017/09/10 [Hol-info] How to find existing developments in HOL4? Mario Castelán Castro
2017/09/08 Re: [Hol-info] [SOLVED] Theorems used by an invocation of simp, fs, rw or REWRITE_TAC. Mario Castelán Castro
2017/09/08 [Hol-info] Theorems used by an invocation of simp, fs, rw or REWRITE_TAC. Mario Castelán Castro
2017/09/08 Re: [Hol-info] Instantiating type variables Heiko Becker
2017/09/08 Re: [Hol-info] Instantiating type variables Anthony Fox
2017/09/08 [Hol-info] Instantiating type variables Heiko Becker
2017/09/06 Re: [Hol-info] About restricted quantification and algebraic-like structures Mario Castelán Castro
2017/09/06 [Hol-info] IJCAR 2018 - Calll for Papers geoff
2017/09/06 Re: [Hol-info] About restricted quantification and algebraic-like structures Michael.Norrish
2017/09/05 Re: [Hol-info] About restricted quantification and algebraic-like structures Mario Castelán Castro
2017/09/05 Re: [Hol-info] About restricted quantification and algebraic-like structures Michael.Norrish
2017/09/04 [Hol-info] About restricted quantification and algebraic-like structures Mario Castelán Castro
2017/09/04 [Hol-info] [Last CfP] PADL 2018 - abstract deadline EXTENDED TO SEPTEMBER 10, 2017 manna
2017/09/02 Re: [Hol-info] HOL Light – Re: What is the practical (end-user level) difference between HOL4 and HOL Light? Mario Castelán Castro
2017/09/02 Re: [Hol-info] HOL Light – Re: What is the practical (end-user level) difference between HOL4 and HOL Light? Chun Tian (binghe)
2017/09/02 Re: [Hol-info] HOL Light – Re: What is the practical (end-user level) difference between HOL4 and HOL Light? Mario Castelán Castro
2017/09/02 [Hol-info] CFP: 2018 IEEE/ACM Design Automation Conference Hardware Design Contest Yiyu Shi
2017/09/01 Re: [Hol-info] HOL Light – Re: What is the practical (end-user level) difference between HOL4 and HOL Light? Mario Carneiro
2017/09/01 [Hol-info] HOL Light – Re: What is the practical (end-user level) difference between HOL4 and HOL Light? Ken Kubota
2017/09/01 [Hol-info] [CfP] PADL 2018 - abstract submission DEADLINE APPROACHING manna
2017/08/31 [Hol-info] CfP ThEdu'17 post-proceedings Walther Neuper
2017/08/30 [Hol-info] FMCAD 2017 (Call for participation: early registration ends Sept 2) Georg Weissenbacher
2017/08/30 [Hol-info] FACS 2017 - Doctoral Track: Call for Contributions Jose Proenca
2017/08/30 [Hol-info] What is the practical (end-user level) difference between HOL4 and HOL Light? Mario Castelán Castro
2017/08/30 Re: [Hol-info] Handling existentials in conclusions Heiko Becker
2017/08/30 [Hol-info] Handling existentials in conclusions Heiko Becker
2017/08/29 [Hol-info] International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems (ITEQS) Nils Muellner
2017/08/29 [Hol-info] FMCAD 2017: CALL FOR PARTICIPATION geoff
2017/08/29 [Hol-info] PPDP and LOPSTR 2017 Call for Participation Wim Vanhoof
2017/08/23 Re: [Hol-info] Strange tactics bug when using match_mp_tac Michael.Norrish
2017/08/23 Re: [Hol-info] Strange tactics bug when using match_mp_tac Ramana Kumar
2017/08/23 Re: [Hol-info] Strange tactics bug when using match_mp_tac Michael.Norrish
2017/08/23 [Hol-info] ACM/SPEC ICPE 2018: Call for Contributions ICPE ICPE
2017/08/23 [Hol-info] SAFECOMP17 Last Call for Participation Stefano Tonetta
2017/08/23 Re: [Hol-info] Strange tactics bug when using match_mp_tac Heiko Becker
2017/08/23 Re: [Hol-info] Strange tactics bug when using match_mp_tac Jeremy Dawson
2017/08/23 [Hol-info] MEMOCODE-2017 (Call for Participation) Klaus . Schneider
2017/08/23 Re: [Hol-info] Strange tactics bug when using match_mp_tac Michael.Norrish
2017/08/22 [Hol-info] Strange tactics bug when using match_mp_tac Heiko Becker