| Age | Commit message (Expand) | Author |
|---|---|---|
| 2003-06-21 | Added a test for Functional Induction. | courtieu |
| 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 |
| Age | Commit message (Expand) | Author |
|---|---|---|
| 2003-06-21 | Added a test for Functional Induction. | courtieu |
| 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 |