| Age | Commit message (Expand) | Author |
|---|---|---|
| 2009-03-28 | Rewrite of Program Fixpoint to overcome the previous limitations: | msozeau |
| 2009-01-18 | Last changes in type class syntax: | msozeau |
| 2008-12-16 | Move FunctionalExtensionality to Logic/ (someone please check that the | msozeau |
| 2008-12-14 | Generalized binding syntax overhaul: only two new binders: `() and `{}, | msozeau |
| 2008-06-22 | Rename obligations_tactic to obligation_tactic and fix bugs #1893. | msozeau |
| 2008-05-11 | - Cleanup parsing of binders, reducing to a single production for all | msozeau |
| 2008-05-06 | Postpone the search for the recursive argument index from the user given | msozeau |
| 2008-04-09 | Fix the last compilation problem | msozeau |
| 2008-04-01 | Ajout des propriétés $Id:$ là où elles n'existaient pas ou n'étaient | herbelin |
| 2008-03-28 | - Second pass on implementation of let pattern. Parse "let ' par [as x]? | msozeau |
| 2008-03-27 | Various fixes on typeclasses: | msozeau |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |