| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Remove unused TValHEADmaster | Tom Smeding | 2020-12-26 |
| | | |||
| * | Initial | Tom Smeding | 2020-12-26 |
 |
index : first-order-exprs | |
| Attempt at a faster first-order expression simplifier | git daemon user |
| summaryrefslogtreecommitdiff |