hol-info  

Messages by Thread

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

• Earlier messages
• Later messages