| Age | Commit message (Expand) | Author |
|---|---|---|
| 2009-11-11 | Better compatibility for Peqb | letouzey |
| 2009-11-10 | DecidableType: A specification via boolean equality as an alternative to eq_dec | letouzey |
| 2009-09-17 | Delete trailing whitespaces in all *.{v,ml*} files | glondu |
| 2009-07-22 | Better comparison functions in OrderedTypeEx | letouzey |
| 2007-06-07 | Extension of NArith: Nminus, Nmin, etc | letouzey |
| 2006-04-25 | Un gros coup de lifting pour IntMap: | letouzey |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |