coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Jonathan Leivent <jonikelee AT gmail.com>
- To: coq-club AT inria.fr
- Subject: Re: [Coq-Club] Axioms reported by coqchk
- Date: Fri, 19 Aug 2016 22:50:56 -0400
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=jonikelee AT gmail.com; spf=Pass smtp.mailfrom=jonikelee AT gmail.com; spf=None smtp.helo=postmaster AT mail-qk0-f177.google.com
- Ironport-phdr: 9a23:ZyGnrB2UcvVJ8HfysmDT+DRfVm0co7zxezQtwd8ZsegTLfad9pjvdHbS+e9qxAeQG96KsrQe1KGJ6+igATVGusfZ9ihaMdRlbFwssY0uhQsuAcqIWwXQDcXBSGgEJvlET0Jv5HqhMEJYS47UblzWpWCuv3ZJQk2sfTR8Kum9IIPOlcP/j7n0oMyKJV8Xz2XlKfMqdVPt/F2X7pFXyaJZaY8JgiPTpXVJf+kEjUhJHnm02yjG28Gr4ZR4+D5Rsf9yv+RJUKH9YrhqBecAVGduYCgJ45jgsgCGRg+S7FMdVH8Xm1xGGVvr9hb/C7X2tCLmtuN7kA2XPNP7S6x8DTal6aZoRRvlhQ8IMjc49Cfcjckm3/ETmw6ouxEqm92cW4qSLvcrJq4=
On 08/19/2016 10:26 PM, Jonathan Leivent wrote:
...
Class AxiomClass := Name : AType.
Oops - I meant Class NameAxiom := Name : AType - meaning that each axiom becomes a different class.
-- Jonathan
- Re: [Coq-Club] coqchk safe from plugins? (Was: Axioms reported by coqchk), (continued)
- Re: [Coq-Club] coqchk safe from plugins? (Was: Axioms reported by coqchk), Guillaume Melquiond, 08/19/2016
- Re: [Coq-Club] Axioms reported by coqchk, Jacques-Henri Jourdan, 08/19/2016
- Re: [Coq-Club] Axioms reported by coqchk, Ralf Jung, 08/19/2016
- Re: [Coq-Club] Axioms reported by coqchk, Ade Umut Huxtable, 08/19/2016
- Re: [Coq-Club] Axioms reported by coqchk, Jonathan Leivent, 08/19/2016
- Re: [Coq-Club] Axioms reported by coqchk, Ade Umut Huxtable, 08/19/2016
- Re: [Coq-Club] Axioms reported by coqchk, Jonathan Leivent, 08/19/2016
- Re: [Coq-Club] Axioms reported by coqchk, Jason Gross, 08/20/2016
- Re: [Coq-Club] Axioms reported by coqchk, Jonathan Leivent, 08/20/2016
- Re: [Coq-Club] Axioms reported by coqchk, Jonathan Leivent, 08/20/2016
- Re: [Coq-Club] Axioms reported by coqchk, Jonathan Leivent, 08/20/2016
- Re: [Coq-Club] Axioms reported by coqchk, Jonathan Leivent, 08/20/2016
- RE: [Coq-Club] Axioms reported by coqchk, Soegtrop, Michael, 08/21/2016
- Re: [Coq-Club] Axioms reported by coqchk, Jonathan Leivent, 08/21/2016
- RE: [Coq-Club] Axioms reported by coqchk, Soegtrop, Michael, 08/22/2016
- Re: [Coq-Club] Axioms reported by coqchk, Ralf Jung, 08/22/2016
- Re: [Coq-Club] Axioms reported by coqchk, Jonathan Leivent, 08/20/2016
- Re: [Coq-Club] Axioms reported by coqchk, Jonathan Leivent, 08/20/2016
- Re: [Coq-Club] Axioms reported by coqchk, Jason Gross, 08/20/2016
- Re: [Coq-Club] Axioms reported by coqchk, Jonathan Leivent, 08/19/2016
- Re: [Coq-Club] Axioms reported by coqchk, Ralf Jung, 08/20/2016
- Re: [Coq-Club] Axioms reported by coqchk, Pierre Courtieu, 08/22/2016
- Re: [Coq-Club] Axioms reported by coqchk, Chris Dams, 08/22/2016
Archive powered by MHonArc 2.6.18.