Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Addition of more general tactics for equality. Functional extensionality and ... | 2007-10-24 | ||
* | Add more equality tactics. Upgrade program_simpl for discrimination of conjun... | 2007-08-26 | ||
* | A better Program documentation. Include it in the generated stdlib doc. | 2007-08-08 |