| Commit message (Expand) | Author | Age | ||
|---|---|---|---|---|
| ... | ||||
| * | Merge SetoidList2 into SetoidList: forgotten reference to the removed file |  letouzey | 2009-10-19 | |
| * | Merge SetoidList2 into SetoidList. | letouzey | 2009-10-19 | |
| * | OrderedType2 : trivial lemmas are turned into tests for order. | letouzey | 2009-10-16 | |
| * | Structure/OrderTac.v : highlight the "order" tactic by isolating it from FSet... | letouzey | 2009-10-16 | |
| * | OrderedType2.order : fix the last fix (a fail at the wrong place) | letouzey | 2009-10-15 | |
| * | Typo in last commit | letouzey | 2009-10-14 | |
| * | Improved tactic "order" in OrderedType | letouzey | 2009-10-14 | |
| * | MSets: a new generation of FSets | letouzey | 2009-10-13 | |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |