| Age | Commit message (Expand) | Author |
|---|---|---|
| 2007-03-19 | Add a parameter to QuestionMark evar kind to say it can be turned into an obl... | msozeau |
| 2007-02-24 | Opacity parameterization for obligations working. | msozeau |
| 2007-02-23 | Debug wellfounded defs, work on cleaning obls envs | msozeau |
| 2006-10-31 | Work on obligation separation. | msozeau |
| 2006-09-01 | New handling of obligations. | msozeau |
| 2006-04-07 | - Documentation of the Program tactics. | msozeau |
| 2005-07-15 | Subtac: traitement correct des existentielles et de la récursion. | coq |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |