coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] absoption_orb

From: Daniel de Rauglaudre <daniel.de_rauglaudre AT inria.fr>
To: coq-club <coq-club AT inria.fr>
Subject: [Coq-Club] absoption_orb
Date: Sat, 18 Oct 2014 10:13:07 +0200

Hi,

What is an absoption ? (Coq.Bool.Bool.absoption_orb, same with andb)
Is is a spelling error ?

--
Daniel de Rauglaudre
http://pauillac.inria.fr/~ddr/

[Coq-Club] absoption_orb, Daniel de Rauglaudre, 10/18/2014
- Re: [Coq-Club] absoption_orb, Jason Gross, 10/18/2014