Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Added some tests to make more robust the tactique "Functional | 2003-03-01 | |
* | Adding tests for the "functional induction" facility. | 2003-02-27 | |
* | The contribution of Pierre Courtieu on generating specialized induction schemes | 2003-02-27 |