| Age | Commit message (Expand) | Author |
|---|---|---|
| 2003-02-28 | fixing a typo in the new Funinv.v test in test-suite/success | courtieu |
| 2003-02-27 | Adding tests for the "functional induction" facility. | bertot |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |