fredokun/nominal-workbench — pull request #3 by ptal (2014-02-05 16:05:46+00:00)
Title: Patch to the second shipping

The Peano arithmetic now pass, but some tests fail due to the lack of strategies.