aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/ZArith/Zbool.v
Commit message (Expand)AuthorAge
* Updating headers.Gravatar herbelin2012-08-08
* Open Local Scope ---> Local Open Scope, same with Notation and aliiGravatar letouzey2012-07-05
* ZArith + other : favor the use of modern names instead of compat notationsGravatar letouzey2012-07-05
* Notation: a new annotation "compat 8.x" extending "only parsing"Gravatar letouzey2012-07-05
* Some more cleanups (Zeven, auxiliary, Zbool, Zmisc, ZArith_base)Gravatar letouzey2011-06-27
* Modularization of BinInt, related fixes in the stdlibGravatar letouzey2011-05-05
* Remove the "Boxed" syntaxes and the const_entry_boxed fieldGravatar letouzey2011-01-28
* First release of Vector library.Gravatar pboutill2010-12-10
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* BigN, BigZ, BigQ: presentation via unique module with both ops and propsGravatar letouzey2010-01-17
* Fixed extra space in printing notation { x & P } + minor other thingsGravatar herbelin2009-08-11
* Fix bug #1899: no more strange notations for Qge and QgtGravatar letouzey2008-07-04
* Several simple new theorems in ZArith/BinInt.v and ZArith/Zbool.vGravatar emakarov2007-08-08
* Mise en forme des theoriesGravatar notin2006-10-17
* Changement dans les boxed values .Gravatar gregoire2004-11-12
* Nouvelle en-tĂȘteGravatar herbelin2004-07-16
* Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ...Gravatar herbelin2003-11-29
* Inclusion de Zbool qui contient une partie de Zmisc dans ZArith_baseGravatar herbelin2003-11-14
* Ajout partie sur bool anciennement dans ZmiscGravatar herbelin2003-11-12
* ZArith_base, Zbool, Bool_natGravatar filliatr2002-06-20