| Age | Commit message (Expand) | Author |
|---|---|---|
| 2007-07-12 | Remove dead modules in Subtac. | msozeau |
| 2006-02-21 | Latest fixes, should work fine now for non recursive definitions, although st... | coq |
| 2006-02-20 | Monday work, working with coercions and implicit args | coq |
| 2006-02-20 | Forgot one file | coq |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |