coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] typeclasses and sections

From: Tom Prince <tom.prince AT ualberta.net>
To: Michael Shulman <mshulman AT ucsd.edu>
Cc: Alexandre Pilkiewicz <alexandre.pilkiewicz AT polytechnique.org>, Coq Club <coq-club AT inria.fr>
Subject: Re: [Coq-Club] typeclasses and sections
Date: Mon, 21 Nov 2011 20:02:12 -0500

On Mon, 21 Nov 2011 16:30:42 -0800, Michael Shulman
<mshulman AT ucsd.edu>
wrote:
> Thank you! I am sorry to be a bother; for some inexplicable reason I
> was reading the 8.2 reference manual instead of the 8.3 one.

No problem at all. That is what this list is for.

Tom

[Coq-Club] typeclasses and sections, Michael Shulman
- Re: [Coq-Club] typeclasses and sections, Robbert Krebbers
- Re: [Coq-Club] typeclasses and sections, Alexandre Pilkiewicz
  - Re: [Coq-Club] typeclasses and sections, Michael Shulman
    - Re: [Coq-Club] typeclasses and sections, Tom Prince
      - Re: [Coq-Club] typeclasses and sections, Michael Shulman
        
        Re: [Coq-Club] typeclasses and sections, Tom Prince