| 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-17 | Fix Makefile bug, using .v instead of .vo and document SetoidDec.v | msozeau |
| 2008-01-07 | Remove spurious .d, better tactics. | msozeau |
| 2008-01-04 | Add partial setoids in theories/Classes, add SetoidDec class for setoids with... | msozeau |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |