coq-club AT inria.fr

Subject: The Coq mailing list

List archive

chronological Thread

From: Robert Helgesson <robert AT rycee.net>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Setoids and symmetry
Date: Fri, 12 Mar 2010 17:35:38 +0200
Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=sender:date:from:to:subject:message-id:mail-followup-to:references :mime-version:content-type:content-disposition:in-reply-to :user-agent; b=sQltmEmVcASSF3M66/bst5ppBH7F0iEQCfeRMWWg+i+Y/5nG9mwmMIirsnFCX7CGu5 h7dc4GAVfitAFcKvl0MwIEYohOD3fV30Dw19KtOkUimZ0VG96lV5QjVDGf1SXEQA1gpF UtOUo2D5ccAGu0UDWyqEXh6XAedkR+lkdnjBU=

Thank you very much, that was a most helpful explanation!

/Robert

[Coq-Club] Setoids and symmetry, Robert Helgesson
- Re: [Coq-Club] Setoids and symmetry, roconnor
  - Re: [Coq-Club] Setoids and symmetry, Robert Helgesson
    - Re: [Coq-Club] Setoids and symmetry, roconnor
      - Re: [Coq-Club] Setoids and symmetry, Robert Helgesson