| Age | Commit message (Expand) | Author |
|---|---|---|
| 2009-10-28 | Integrate a few improvements on typeclasses and Program from the equations br... | msozeau |
| 2009-09-17 | Delete trailing whitespaces in all *.{v,ml*} files | glondu |
| 2009-01-22 | Fixes in the documentation of [dependent induction] and test-suite | msozeau |
| 2008-12-16 | Fix for syntax changes in test-suite scripts. | msozeau |
| 2008-09-13 | Finish debugging the unification machinery in [Equations]. Do the _comp | msozeau |
| 2008-09-12 | Add a type argument to letin_tac instead of using casts and recomputing | msozeau |
| 2008-09-11 | Some more debugging of [Equations], unification still not perfect. | msozeau |
| 2008-09-07 | More debugging of [Equations], now able to discharge even the heavily | msozeau |
| 2008-09-03 | Correct handling of implicit arguments in [Equations] definitions, | msozeau |
| 2008-09-02 | Add support for recursive definitions to [Equations], deciding if a | msozeau |
| 2008-09-02 | Initial implementation of a new command to define (dependent) functions by | msozeau |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |