Age | Commit message (Expand) | Author |
---|---|---|
2016-09-25 | Adding a destructor to QuantAntiSkolem. | Tim King |
2016-04-03 | Updating the copyright headers and scripts. | Tim King |
2016-03-01 | Shorter explanations for strings based on tracking which parts of normal form... | ajreynol |