dvanhorn/pcf — pull request #21 by philnguyen (2014-09-16 02:07:00+00:00)
Title: either print fully concrete counterexample or admit we fail to find one

This pull request:
* ensures the counterexample is always fully concrete
* remembers equations between arguments and results
* simplifies and improves precision of `δσ^` for division by using the provability relation rather than doing manual checking
* adds more examples for printing counterexamples