| Age | Commit message (Expand) | Author |
|---|---|---|
| 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 |