| Age | Commit message (Expand) | Author |
|---|---|---|
| 2016-01-13 | MMaps: remove it from final 8.5 release, since this new library isn't mature ... | Pierre Letouzey |
| 2015-03-06 | MMapPositive: another implementation of MMaps | Pierre Letouzey |
| 2014-07-09 | Arith: full integration of the "Numbers" modular framework | Pierre Letouzey |
| 2011-05-05 | Modularization of BinInt, related fixes in the stdlib | letouzey |
| 2011-05-05 | Modularization of BinNat + fixes of stdlib | letouzey |
| 2010-11-10 | Integer division: quot and rem (trunc convention) in addition to div and mod | letouzey |
| 2010-04-29 | Remove the svn-specific $Id$ annotations | letouzey |
| 2010-02-09 | NPeano improved, subsumes NatOrderedType | letouzey |
| 2010-02-09 | NBinary improved, contains more, subsumes NOrderedType | letouzey |
| 2010-02-09 | ZBinary (impl of Numbers via Z) reworked, comes earlier, subsumes ZOrderedType | letouzey |
| 2010-01-07 | Nicer names: DecidableType2* --> Equalities*, OrderedType2* --> Orders* | letouzey |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |