The Coq mailing list

[Jason Gross <jasongross9 AT gmail.com>]

The section in the standard library is labeled Absorption, so I'm guessing it's a typo for that.  I've made a bug report.

On Sat, Oct 18, 2014 at 4:13 AM, Daniel de Rauglaudre <daniel.de_rauglaudre AT inria.fr> wrote:

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/