| Commit message (Expand) | Author | Age |
* | Solve name conflict about pow introduced by commit 13546. | letouzey | 2010-10-21 |
* | Updated all headers for 8.3 and trunk | herbelin | 2010-07-24 |
* | Remove the svn-specific $Id$ annotations | letouzey | 2010-04-29 |
* | Arith's min and max placed in Peano (+basic specs max_l and co) | letouzey | 2010-02-17 |
* | Min, Max: for avoiding inelegant NPeano.max printing, we Export this lib | letouzey | 2010-02-10 |
* | Numbers: properties of min/max with respect to 0,S,P,add,sub,mul | letouzey | 2010-02-09 |
* | NPeano improved, subsumes NatOrderedType | letouzey | 2010-02-09 |
* | OrderedType implementation for various numerical datatypes + min/max structures | letouzey | 2009-11-03 |
* | Remove various useless {struct} annotations | letouzey | 2009-11-02 |
* | A few additions in Min.v. | herbelin | 2009-10-03 |
* | Delete trailing whitespaces in all *.{v,ml*} files | glondu | 2009-09-17 |
* | Some additions in Max and Zmax. Unifiying list of statements and names | herbelin | 2009-04-14 |
* | - Fixed bug #2021 (uncaught exception with injection/discriminate when | herbelin | 2009-01-01 |
* | Extension of NArith: Nminus, Nmin, etc | letouzey | 2007-06-07 |
* | Ajouts de lemmes dans Min et Max | notin | 2007-02-19 |
* | Mise en forme des theories | notin | 2006-10-17 |
* | Modification des propriétés (svn:executable) | notin | 2006-03-17 |
* | Unification max_case et max_case2 | herbelin | 2006-02-12 |
* | Nouvelle en-tête | herbelin | 2004-07-16 |
* | Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ... | herbelin | 2003-11-29 |
* | Suppression de l'étage "Import nat/Z/R_scope". "Open Scope" remplace "Import". | herbelin | 2003-04-09 |
* | Implicit Variables Type | herbelin | 2003-03-29 |
* | *** empty log message *** | barras | 2003-03-12 |
* | option -dump-glob pour coqdoc | filliatr | 2002-02-14 |
* | Commentaire coqweb non fermé | herbelin | 2001-12-21 |
* | Ajout d'un fichier Max dans Arith, et enrichissement du Min. | letouzey | 2001-11-15 |