| Commit message (Expand) | Author | Age | ||
|---|---|---|---|---|
| ... | ||||
| * | Fix a naming bug reported by Arnaud Spiwack, allow instance search to create ... |  msozeau | 2008-01-05 | |
| * | Add partial setoids in theories/Classes, add SetoidDec class for setoids with... | msozeau | 2008-01-04 | |
| * | Move Classes.Setoid to Classes.SetoidClass to avoid name clash. | msozeau | 2007-12-31 | |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |