coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Where did SetoidAxioms go?

From: Daniil Frumin <difrumin AT gmail.com>
To: coq-club AT inria.fr
Subject: [Coq-Club] Where did SetoidAxioms go?
Date: Tue, 7 Jan 2014 19:59:21 +0400

Hi everyone, sorry for a stupid question
but I wonder what has happened to Classes.SetoidAxioms?

It has disappeared in V8.3 and I didn't find the mention of it in the
changelog
and the last commit that removes it is
3b5e12a2eb98b34cacc1850f63b702dfea26cd57

In particular I am looking for setoid_extensionality.

Thanks

--
Sincerely yours,
-- Daniil Frumin

[Coq-Club] Where did SetoidAxioms go?, Daniil Frumin, 01/07/2014
- Re: [Coq-Club] Where did SetoidAxioms go?, Pierre-Marie Pédrot, 01/07/2014
  - Re: [Coq-Club] Where did SetoidAxioms go?, Daniil Frumin, 01/07/2014
    - Re: [Coq-Club] Where did SetoidAxioms go?, Arnaud Spiwack, 01/07/2014
      - Re: [Coq-Club] Where did SetoidAxioms go?, Daniil Frumin, 01/07/2014
        
        [Coq-Club] Where did SetoidAxioms go?, Matthieu Sozeau, 01/07/2014