Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Added support for definition of fixpoints using tactics. | 2009-11-27 | |
* | A bit of cleaning around name generation + creation of dedicated file namegen.ml | 2009-11-09 | |
* | Restructuration of command.ml + generic infrastructure for inductive schemes | 2009-11-08 |