| Age | Commit message (Expand) | Author |
|---|
| 2007-07-05 | Update on numbers. | emakarov |
| 2007-07-05 | Added Qpower_mult theorem. | roconnor |
| 2007-07-03 | Compatibilité des noms longs de Bool déplacés dans Datatypes | herbelin |
| 2007-07-02 | Correction (partielle) du bug #1587 | notin |
| 2007-06-29 | Added the directory theories/Numbers where axiomatizations and implementation... | emakarov |
| 2007-06-27 | - Extensions of FMap(Weak)Facts: | letouzey |
| 2007-06-27 | eqlistA is now equivlistA | letouzey |
| 2007-06-26 | Added zwqipWith. | roconnor |
| 2007-06-26 | additional properties for FMap (and slight rework of SetoidList and FSetPrope... | letouzey |
| 2007-06-25 | Updated Qpow_tac to work on a a more realistic set of exponent values. | roconnor |
| 2007-06-22 | Ajout exist & cie à la table des hints par symétrie avec ex_intro & | herbelin |
| 2007-06-21 | Correction de 2 bugs mineurs: 1 ligne de debug oubliée dans coqdoc, | notin |
| 2007-06-21 | Adding: Field instance for Q. | roconnor |
| 2007-06-20 | ajout de head0 et tail0 en natif | bgregoir |
| 2007-06-19 | safe_shift correct recursion | thery |
| 2007-06-19 | safe_shift recursion | thery |
| 2007-06-19 | safe_shift recursion | thery |
| 2007-06-19 | Adding function is_even, safe_shiftl, safe_shiftr | thery |
| 2007-06-19 | genN.ml sync | thery |
| 2007-06-18 | Correct height computation | thery |
| 2007-06-14 | oups: one file forgotten in my previous commit | letouzey |
| 2007-06-14 | Rework of FSetProperties, in order to add more easily a Properties functor | letouzey |
| 2007-06-11 | undeletion of E_ST and Equal_ST: these records aren't mandatory, but quite us... | letouzey |
| 2007-06-08 | some more properties of fold and elements in FSetProperties | letouzey |
| 2007-06-08 | Removed an extra \tacindex occurrence for the tactic discriminate. | emakarov |
| 2007-06-07 | Extension of NArith: Nminus, Nmin, etc | letouzey |
| 2007-06-07 | * For uniformity, FSetAVL uses Implicit Arguments (a bit) | letouzey |
| 2007-06-06 | tail0 | thery |
| 2007-06-05 | Gestion espaces dans notation _ = _ :> _ | herbelin |
| 2007-05-30 | mul_norm for Q fixed | thery |
| 2007-05-28 | comparison functions should be Defined not Qed | letouzey |
| 2007-05-27 | As suggested by Pierre Casteran, fold for FSets/FMaps now takes a | letouzey |
| 2007-05-25 | fix for bug #1347 (no more Scope pollution by FSets) | letouzey |
| 2007-05-22 | Comparaison JMeq/eq_dep | herbelin |
| 2007-05-21 | Added Z and Q implementations with int31. | aspiwack |
| 2007-05-21 | add_mul_pos uses int31 only | thery |
| 2007-05-15 | pos_mod fixed | thery |
| 2007-05-15 | Correction de sqrt312 (racine carree d'un nombre represente comme un | aspiwack |
| 2007-05-11 | Processor integers + Print assumption (see coqdev mailing list for the | aspiwack |
| 2007-04-28 | Déplacement des opérations sur bool dans l'état initial | herbelin |
| 2007-04-25 | Utilisation du nouveau "Unset Elimination Schemes" pour empêcher la création | herbelin |
| 2007-04-17 | Correction du bug #1510 | notin |
| 2007-04-13 | Correction bug #1499 | notin |
| 2007-04-12 | Transparency of Z_lt_le_dec | notin |
| 2007-04-06 | simplier version of tail_plus | letouzey |
| 2007-04-02 | Added back the tactics [apply -> ident], etc. to Tactics.v after | emakarov |
| 2007-04-02 | Réparation de NArith/BinPos.v suite au commit #9739 | notin |
| 2007-04-01 | Removed the definition of extensions of apply to equivalences | emakarov |
| 2007-03-30 | Added the following theorems to BinPos: | emakarov |
| 2007-03-30 | Added new tactics for applying equivalences (iff) to Tactics.v: | emakarov |
