dvanhorn/pcf — pull request #22 by philnguyen (2014-09-18 21:07:36+00:00)
Title: remember finite mappings in opaque functions

This pull request:
* Remembers finite mappings in opaque functions to help rebuilding counterexamples
* Add examples
* Remove wrong message "Unable to find counterexample"