| Commit message (Expand) | Author | Age | ||
|---|---|---|---|---|
| ... | ||||
| * | Reorganization of FSet+FMap : no more files specific to Weak Sets/Maps |  letouzey | 2008-02-04 | |
| * | more user-friendly versions of some properties lemmas in FSets/FMap | letouzey | 2008-01-04 | |
| * | small tactics "swap" and "absurd_hyp" are now obsolete: "contradict" is | letouzey | 2007-11-06 | |
| * | Cleanup attempt of Hints in *Interface.v files. | letouzey | 2007-10-21 | |
| * | - Extensions of FMap(Weak)Facts: | letouzey | 2007-06-27 | |
| * | additional properties for FMap (and slight rework of SetoidList and FSetPrope... | letouzey | 2007-06-26 | |
| * | Rework of FSetProperties, in order to add more easily a Properties functor | letouzey | 2007-06-14 | |
| * | petits ajouts | letouzey | 2006-05-31 | |
| * | un debut de propriétés concernant FMap | letouzey | 2006-05-22 | |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |