| Commit message (Expand) | Author | Age |
|---|
| * | J'ai enlevé un fichier qui était en double. Merci à Pierre pour avoir |  aspiwack | 2007-07-18 |
| * | An update on axiomatization of number classes. |  emakarov | 2007-07-13 |
| * | Added Qpower_plus' and Zpower_Qpower |  roconnor | 2007-07-13 |
| * | Small cleanup |  letouzey | 2007-07-13 |
| * | Répertoire Numbers poursuit l'objectif entamé en syntaxe V7 dans le |  herbelin | 2007-07-13 |
| * | Deletion of some firstorder calls in FSetAVL: | letouzey | 2007-07-13 |
| * | Proof for sub |  thery | 2007-07-12 |
| * | Deletion of an obsolete file (euclidian division done in old syntax with real... | letouzey | 2007-07-12 |
| * | normalisation (by closure) was not performed under fixpoints |  barras | 2007-07-12 |
| * | Proof for succ, add, pred | thery | 2007-07-12 |
| * | Added ForAll_Str_nth_tl | roconnor | 2007-07-11 |
| * | Big reorganization of romega/ReflOmegaCore.v: towards a modular | letouzey | 2007-07-10 |
| * | Update of theories/Numbers directory. | emakarov | 2007-07-06 |
| * | Update on numbers. | emakarov | 2007-07-05 |
| * | Added Qpower_mult theorem. | roconnor | 2007-07-05 |
| * | Compatibilité des noms longs de Bool déplacés dans Datatypes | herbelin | 2007-07-03 |
| * | Correction (partielle) du bug #1587 |  notin | 2007-07-02 |
| * | Added the directory theories/Numbers where axiomatizations and implementation... | emakarov | 2007-06-29 |
| * | - Extensions of FMap(Weak)Facts: | letouzey | 2007-06-27 |
| * | eqlistA is now equivlistA | letouzey | 2007-06-27 |
| * | Added zwqipWith. | roconnor | 2007-06-26 |
| * | additional properties for FMap (and slight rework of SetoidList and FSetPrope... | letouzey | 2007-06-26 |
| * | Updated Qpow_tac to work on a a more realistic set of exponent values. | roconnor | 2007-06-25 |
| * | Ajout exist & cie à la table des hints par symétrie avec ex_intro & | herbelin | 2007-06-22 |
| * | 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-21 |
| * | ajout de head0 et tail0 en natif |  bgregoir | 2007-06-20 |
| * | 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-19 |
| * | Correct height computation | thery | 2007-06-18 |
| * | 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-14 |
| * | undeletion of E_ST and Equal_ST: these records aren't mandatory, but quite us... | letouzey | 2007-06-11 |
| * | 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-08 |
| * | Extension of NArith: Nminus, Nmin, etc | letouzey | 2007-06-07 |
| * | * For uniformity, FSetAVL uses Implicit Arguments (a bit) | letouzey | 2007-06-07 |
| * | tail0 | thery | 2007-06-06 |
| * | Gestion espaces dans notation _ = _ :> _ | herbelin | 2007-06-05 |
| * | mul_norm for Q fixed | thery | 2007-05-30 |
| * | comparison functions should be Defined not Qed | letouzey | 2007-05-28 |
| * | As suggested by Pierre Casteran, fold for FSets/FMaps now takes a | letouzey | 2007-05-27 |
| * | fix for bug #1347 (no more Scope pollution by FSets) | letouzey | 2007-05-25 |
| * | Comparaison JMeq/eq_dep | herbelin | 2007-05-22 |
| * | Added Z and Q implementations with int31. | aspiwack | 2007-05-21 |
| * | add_mul_pos uses int31 only | thery | 2007-05-21 |
| * | pos_mod fixed | thery | 2007-05-15 |
aspiwack
emakarov
roconnor
letouzey
herbelin
thery
barras
notin
bgregoir