aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Bool/Bvector.v
Commit message (Expand)AuthorAge
* Update headers following #6543.Gravatar Théo Zimmermann2018-02-27
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* Update copyright headers.Gravatar Maxime Dénès2016-01-20
* Update headers.Gravatar Maxime Dénès2015-01-12
* Eta contractions to please cbnGravatar Pierre Boutillier2014-05-02
* Updating headers.Gravatar herbelin2012-08-08
* Open Local Scope ---> Local Open Scope, same with Notation and aliiGravatar letouzey2012-07-05
* First release of Vector library.Gravatar pboutill2010-12-10
* Used multiple lists of implicit arguments to transfer the choices ofGravatar herbelin2010-10-23
* Bvector.Vshiftin was wrong for agesGravatar pboutill2010-09-28
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* Reverted 13293 commited mistakenly. Sorry for the noise.Gravatar herbelin2010-07-18
* Tentative de suppression de l'import automatique des hints et coercions.Gravatar herbelin2010-07-18
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* Kill some useless dependencies (Bvector, Program.Syntax)Gravatar letouzey2010-02-17
* Remove various useless {struct} annotationsGravatar letouzey2009-11-02
* Fix the stdlib doc compilation + switch all .v file to utf8Gravatar letouzey2009-09-28
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* - Correction bug highlighting "Module" dans CoqideGravatar herbelin2008-05-28
* Mise en place d'un algorithme d'inversion des contraintes de type lorsGravatar herbelin2008-05-05
* Mise en forme des theoriesGravatar notin2006-10-17
* - Déplacement des types paramétriques prod, sum, option, identity,Gravatar herbelin2006-05-28
* 2-3 lemmes en plus pour que les Bvectors soient effectivement utilisablesGravatar letouzey2006-04-27
* MAJ PolyList -> ListGravatar herbelin2005-03-16
* Nouvelle en-têteGravatar herbelin2004-07-16
* backtrack implicit dans BvectorGravatar marche2004-02-10
* patch Bvector: args implicitesGravatar marche2004-02-09
* Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ...Gravatar herbelin2003-11-29
* Remplacement de Induction/Destruct par NewInduction/NewDestructGravatar herbelin2003-09-23
* Import nat_scopeGravatar herbelin2003-06-10
* bit vectorsGravatar filliatr2003-01-06
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-21 17:02:40 +0000