| Age | Commit message (Expand) | Author |
|---|---|---|
| 2008-01-18 | Fix bug #1778, better typeclass error messages. Move Obligations Tactic to a ... | msozeau |
| 2008-01-18 | Change notation for setoid inequality, coerce objects before comparing them. ... | msozeau |
| 2008-01-15 | Generalize instance declarations to any context, better name handling. Add ho... | msozeau |
| 2008-01-07 | Cleaner quantifiers for type classes, breaks clrewrite for the moment but imp... | msozeau |
| 2008-01-07 | Remove spurious .d, better tactics. | msozeau |
| 2008-01-05 | Fix a naming bug reported by Arnaud Spiwack, allow instance search to create ... | msozeau |
| 2008-01-04 | Add partial setoids in theories/Classes, add SetoidDec class for setoids with... | msozeau |
| 2007-12-31 | Move Classes.Setoid to Classes.SetoidClass to avoid name clash. | msozeau |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |