Age | Commit message (Expand) | Author |
---|---|---|
2020-06-16 | Update copyright headers. | Aina Niemetz |
2020-06-05 | Datatypes with nested recursion are not handled in TheoryDatatypes unless opt... | Andrew Reynolds |
2019-12-05 | Introduce the Node-level Datatypes API (#3462) | Andrew Reynolds |